Index
| /\ | NLambda |
| <== | NLambda |
| <==> | NLambda |
| ==> | NLambda |
| accepts | NLambda |
| addEdge | NLambda |
| addLoops | NLambda |
| addVertex | NLambda |
| allAtomsNames | NLambda |
| alphabet | NLambda |
| and | NLambda |
| Atom | NLambda |
| atom | NLambda |
| atoms | NLambda |
| atomsClique | NLambda |
| atomsDA | NLambda |
| atomsDAWithTrashCan | NLambda |
| atomsGraph | NLambda |
| atomsNA | NLambda |
| atomsNAWithTrashCan | NLambda |
| atomsPairs | NLambda |
| AtomsSpace | NLambda |
| atomsSpace | NLambda |
| atomsTriples | NLambda |
| Automaton | |
| 1 (Type/Class) | NLambda |
| 2 (Data Constructor) | NLambda |
| automaton | NLambda |
| automatonWithTrashCan | NLambda |
| BareNominalType | NLambda |
| clique | NLambda |
| complementDA | NLambda |
| compose | NLambda |
| composeEdges | NLambda |
| cond | NLambda |
| Conditional | NLambda |
| Constant | NLambda |
| constant | NLambda |
| contains | NLambda |
| containsEdge | NLambda |
| Contextual | NLambda |
| da | NLambda |
| daWithTrashCan | NLambda |
| delete | NLambda |
| deleteAll | NLambda |
| delta | NLambda |
| difference | NLambda |
| differenceDA | NLambda |
| differentAtomsPairs | NLambda |
| disjoint | NLambda |
| edges | NLambda |
| empty | NLambda |
| emptyAtomsGraph | NLambda |
| emptyGraph | NLambda |
| eq | NLambda |
| equals | NLambda |
| equivalentDA | NLambda |
| equivariantSubsets | NLambda |
| exists | NLambda |
| existsPath | NLambda |
| existsVar | NLambda |
| false | NLambda |
| filter | NLambda |
| finalStates | NLambda |
| FoldVarFun | NLambda |
| foldVariables | NLambda |
| forAll | NLambda |
| forAllVars | NLambda |
| Formula | NLambda |
| fromBool | NLambda |
| fromEither | NLambda |
| fromJust | NLambda |
| fromLeft | NLambda |
| fromList | NLambda |
| fromMaybe | NLambda |
| fromRight | NLambda |
| fromVariant | NLambda |
| ge | NLambda |
| Graph | |
| 1 (Type/Class) | NLambda |
| 2 (Data Constructor) | NLambda |
| graph | NLambda |
| greaterEquals | NLambda |
| greaterThan | NLambda |
| groupAction | NLambda |
| gt | NLambda |
| hasCycle | NLambda |
| hasEquivariantColoring | NLambda |
| hasEvenLengthCycle | NLambda |
| hasLoop | NLambda |
| hasLowerBound | NLambda |
| hasMaximum | NLambda |
| hasMinimum | NLambda |
| hasOddLengthCycle | NLambda |
| hasSize | NLambda |
| hasSizeLessThan | NLambda |
| hasUpperBound | NLambda |
| hull | NLambda |
| 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 |
| just | NLambda |
| le | NLambda |
| leastSupport | NLambda |
| left | NLambda |
| lessEquals | NLambda |
| lessThan | NLambda |
| listMaxSize | NLambda |
| listMaxSizeWith | NLambda |
| listSize | NLambda |
| listSizeWith | NLambda |
| lt | NLambda |
| map | NLambda |
| mapFilter | NLambda |
| mapList | NLambda |
| MapVarFun | NLambda |
| mapVariables | NLambda |
| maxSize | NLambda |
| maxSizeWith | NLambda |
| maybe | NLambda |
| maybeIf | NLambda |
| member | NLambda |
| minimize | NLambda |
| monotonicGraph | NLambda |
| multiorbit | NLambda |
| na | NLambda |
| naWithTrashCan | NLambda |
| neighbors | NLambda |
| neq | NLambda |
| newAtom | NLambda |
| NominalEither | NLambda |
| NominalMaybe | NLambda |
| NominalType | NLambda |
| not | NLambda |
| notContains | NLambda |
| notEquals | NLambda |
| nothing | NLambda |
| notMember | NLambda |
| onlyReachable | NLambda |
| openRange | NLambda |
| or | NLambda |
| orbit | NLambda |
| pairs | NLambda |
| pairsDelta | NLambda |
| pairsWith | NLambda |
| pairsWithFilter | NLambda |
| partition | NLambda |
| preds | NLambda |
| predsFromSet | NLambda |
| predsFunction | NLambda |
| range | NLambda |
| reachable | NLambda |
| reachableFromSet | NLambda |
| removeEdge | NLambda |
| removeLoops | NLambda |
| removeVertex | NLambda |
| replicateAtoms | NLambda |
| replicateAtomsUntil | NLambda |
| replicateSet | NLambda |
| replicateSetUntil | NLambda |
| reverseEdges | NLambda |
| right | NLambda |
| runNLambda | NLambda |
| Scope | NLambda |
| Set | NLambda |
| setOrbit | NLambda |
| setOrbits | NLambda |
| setOrbitsMaxNumber | NLambda |
| setOrbitsNumber | NLambda |
| simpleAtomsClique | NLambda |
| simpleClique | NLambda |
| simplify | NLambda |
| simplifyFormula | NLambda |
| singleton | NLambda |
| size | NLambda |
| sizeWith | NLambda |
| solve | NLambda |
| square | NLambda |
| states | NLambda |
| stronglyConnectedComponent | NLambda |
| stronglyConnectedComponents | NLambda |
| subgraph | NLambda |
| succs | NLambda |
| succsFromSet | NLambda |
| succsFunction | NLambda |
| sum | NLambda |
| support | NLambda |
| supports | NLambda |
| transit | NLambda |
| transitFromStates | NLambda |
| transitionGraph | NLambda |
| transitiveClosure | NLambda |
| transitSet | NLambda |
| triples | NLambda |
| triplesWith | NLambda |
| triplesWithFilter | NLambda |
| true | NLambda |
| undirected | NLambda |
| union | NLambda |
| unionAutomaton | NLambda |
| unionDA | NLambda |
| unions | NLambda |
| Variable | NLambda |
| variable | NLambda |
| variableName | NLambda |
| variant | NLambda |
| Variants | NLambda |
| variants | NLambda |
| vertices | NLambda |
| weaklyConnectedComponent | NLambda |
| weaklyConnectedComponents | NLambda |
| when | NLambda |
| \/ | NLambda |
| \\ | NLambda |
| ∀ | NLambda |
| ∃ | NLambda |