Index - I
| iff | NLambda |
| implies | NLambda |
| initialStates | NLambda |
| insert | NLambda |
| insertAll | NLambda |
| intersect | NLambda |
| intersection | NLambda |
| intersectionAutomaton | NLambda |
| inTheSameOrbit | NLambda |
| inTheSameSetOrbit | NLambda |
| isBipartite | NLambda |
| isClosed | NLambda |
| isColoringOf | NLambda |
| isCompact | NLambda |
| isConnected | NLambda |
| isDeterministic | NLambda |
| isEmpty | NLambda |
| isEmptyAutomaton | NLambda |
| isEquivariant | NLambda |
| isFalse | NLambda |
| isInfimum | NLambda |
| isJust | NLambda |
| isLeft | NLambda |
| isLowerBound | NLambda |
| isMaximum | NLambda |
| isMinimum | NLambda |
| isNondeterministic | NLambda |
| isNotEmpty | NLambda |
| isNotEmptyAutomaton | NLambda |
| isNothing | NLambda |
| isNotProperSubsetOf | NLambda |
| isNotSubsetOf | NLambda |
| isOpen | NLambda |
| isProperSubsetOf | NLambda |
| isRight | NLambda |
| isSimple | NLambda |
| isSingleton | NLambda |
| isStronglyConnected | NLambda |
| isSubsetOf | NLambda |
| isSupremum | NLambda |
| isTrue | NLambda |
| isUpperBound | NLambda |
| isWeaklyConnected | NLambda |
| ite | NLambda |
| iteV | NLambda |