private static class CharType.State
extends java.lang.Object

Fields
Modifier and Type	Field	Description
`(package private) int`	`characterCtr`
`(package private) Term[]`	`characters`
`(package private) int`	`characterTypeCtr`
`(package private) CharType.Type[]`	`characterTypes`

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`(package private) Term`	`getCharacter()`
`(package private) CharType.Type`	`getType()`
`(package private) boolean`	`hasNext()`
`(package private) void`	`next()`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

State(Term[] characters,
      CharType.Type[] characterTypes)

Class CharType.State