Forlan Manual

Unified identifier index

A

`Accept, PROG`		`adjacentElts, LIST_AUX`		`Ans, PROG`
`accept, PROG`		`all, SET`		`App, PROG`
`accept, PROG`		allButLast		`app, PROG`
accepted			`LIST_AUX`	apply
	`DFA`		`STR`		`REL`
	`EFA`	`allSplittings, LIST_AUX`			`SYM_REL`
	`FA`	`allStr, REG`		applyBackwards
	`NFA`	`allSym, REG`			`REL`
	`PROG`	alphabet			`SYM_REL`
acceptingStates			`DFA`	applyFunction
	`DFA`		`EFA`		`REL`
	`EFA`		`FA`		`SYM_REL`
	`FA`		`GRAM`
	`NFA`		`NFA`
	`RFA`		`REG`
			`RFA`
			`STR`
			`STR_SET`

B

`Bar, LEX`		`beginsWithVar, VAR`		bijectionFromTo
`Basic, SYM`		bijectionFromAvoiding			`REL`
basic			`REL`		`SYM_REL`
	`LEX`		`SYM_REL`	`block, PP`
	`SYM`	bijectionFromSupersetAvoiding
`BasicSymTop, LEX`			`REL`
basicToChar			`SYM_REL`
	`LEX`
	`SYM`

C

`Calc, PROG`		compare		`compareQuadruple, SET`
`CannotHappen, MESSAGES`			`DFA`	`compareQuintuple, SET`
`cannotHappen, MESSAGES`			`EFA`	`compareSym, LEX`
charToBasic			`FA`	`compareTriple, SET`
	`LEX`		`GRAM`	`complement, DFA`
	`SYM`		`LP`	compose
`checkInLabToks, LEX`			`NFA`		`REL`
checkLP			`PROD`		`SYM_REL`
	`DFA`		`PROD_SET`	`Compound, SYM`
	`EFA`		`PROG`	`CompoundSymTop, LEX`
	`FA`		`PT`	`Concat, REG`
	`NFA`		`REG`	concat
`checkPT, GRAM`			`RFA`		`EFA`
checkPumpingDivision			`SET`		`FA`
	`LP`		`STR`		`GRAM`
	`PT`		`STR_SET`		`REG`
`chomskyNormalForm, GRAM`			`SYM`		`STR_SET`
`chooseOne, LIST_AUX`			`SYM_REL`	`Cond, PROG`
`chooseTwo, LIST_AUX`			`SYM_SET`	`Cons, LP`
`ClosPar, LEX`			`TRAN`	cons
`Closure, REG`			`TRAN_REG`		`LP`
closure			`TRAN_REG_SET`		`PT`
	`EFA`		`TRAN_SET`	`ConsSym, PROG`
	`FA`		`VAR`	`Const, PROG`
	`GRAM`		`VAR_SET`	`const, PROG`
	`REG`	`compareList, SET`		`const, PROG`
`Comma, LEX`		comparePair		`cp, PROG`
`comma, PP`			`SET`	`cp, PROG`
`Compare, PROG`			`SYM_REL`

D

`DEBUG`	`determProcStr, DFA`	`Dollar, LEX`
`Debug`	`determSimplify, DFA`	domain
`debug, DEBUG`	`determTransitionFun, DFA`		`REL`
`decons, PT`	`DFA`		`SYM_REL`
`DeconsSym, PROG`	`DFA`		`TAB`
`decorate, PP`	`dfa, DFA`	`DoubArr, LEX`
`determAccepted, DFA`	`divideAfter, LP`

E

`EFA`		emptyStr		`equalTok, LEX`
`EFA`			`DFA`	equivalenceRelation
`efa, EFA`			`EFA`		`REL`
empty			`FA`		`SYM_REL`
	`PP`		`GRAM`	`equivalent, DFA`
	`SET`		`NFA`	`Error, MESSAGES`
	`TAB`		`REG`	`Error, PROG`
emptyClose		`endState, LP`		`error, LEX`
	`DFA`	`EOF, LEX`		`errorNotEOFTerminated, LEX`
	`EFA`	`Equal, DFA`		`errorPP, MESSAGES`
	`FA`	equal		`errorString, MESSAGES`
	`NFA`		`DFA`	`evaluate, PROG`
emptyCloseBackwards			`EFA`	`exists, SET`
	`DFA`		`FA`	`expectedDigitLabTok, LEX`
	`EFA`		`GRAM`	`expectedLabTok, LEX`
	`FA`		`LP`	`expectedLetterLabTok, LEX`
	`NFA`		`NFA`	`expectedLetterOrDigitLabTok, LEX`
`EmptySet, REG`			`PROD`
emptySet			`PROD_SET`
	`DFA`		`PROG`
	`EFA`		`PT`
	`FA`		`REG`
	`GRAM`		`RFA`
	`NFA`		`SET`
	`REG`		`STR`
`EmptyStr, REG`			`STR_SET`
			`SYM`
			`SYM_REL`
			`SYM_SET`
			`TRAN`
			`TRAN_REG`
			`TRAN_REG_SET`
			`TRAN_SET`
			`VAR`
			`VAR_SET`

F

`FA`		`fromNFA, DFA`		`fromStringSplitEscape, PP`
`FA`		fromRaw		`fromStrSet, REG`
`fa, FA`			`FA`	fromSym
`Fail, PROG`			`GRAM`		`EFA`
`False, PROG`			`LP`		`FA`
`faToReg, RFA`			`PROG`		`GRAM`
`faToRegTrace, RFA`			`PT`		`NFA`
`filter, SET`			`REG`		`REG`
findAcceptingLP			`RFA`	`fromTop, SYM`
	`DFA`	fromReg		`Fst, PROG`
	`EFA`		`FA`	function
	`FA`		`GRAM`		`REL`
	`NFA`	fromStr			`SYM_REL`
findIsomorphism			`FA`	functionFromTo
	`DFA`		`GRAM`		`REL`
	`EFA`		`PROG`		`SYM_REL`
	`FA`		`REG`
	`GRAM`	fromString
	`NFA`		`DFA`
findLP			`EFA`
	`DFA`		`FA`
	`EFA`		`GRAM`
	`FA`		`LP`
	`NFA`		`NFA`
`free, PROG`			`PP`
`fromClosed, PROG`			`PROD_SET`
`fromEFA, NFA`			`PROG`
fromFA			`PT`
	`EFA`		`REG`
	`GRAM`		`RFA`
	`RFA`		`STR`
fromList			`STR_SET`
	`PROD_SET`		`SYM`
	`SET`		`SYM_REL`
	`STR_SET`		`SYM_SET`
	`SYM_REL`		`TRAN_REG_SET`
	`SYM_SET`		`TRAN_SET`
	`TAB`		`VAR`
	`TRAN_REG_SET`		`VAR_SET`
	`TRAN_SET`
	`VAR_SET`

G

`genConcat, REG`		`genTimes, SET`		`getPrintingLineLength, PARAMS`
`generated, GRAM`		genUnion		`getPrintingListLength, PARAMS`
`generatedFromSym, GRAM`			`PROD_SET`	`getPrintingStringSize, PARAMS`
genInter			`REG`	`getSearchPath, PARAMS`
	`PROD_SET`		`SET`	`getTrackExceptions, PARAMS`
	`SET`		`STR_SET`	`getVersion, VERSION`
	`STR_SET`		`SYM_REL`	`getWorkingDirectory, PARAMS`
	`SYM_REL`		`SYM_SET`	`GRAM`
	`SYM_SET`		`TRAN_REG_SET`	`Gram`
	`TRAN_REG_SET`		`TRAN_SET`	`gram, GRAM`
	`TRAN_SET`		`VAR_SET`
	`VAR_SET`	`getPrintingDataStructureDepth, PARAMS`

H

`hd, SET`	height
`Heading, LEX`		`PROG`
		`PT`
		`REG`

I

`Incomp, DFA`		inputFromLabToks		`Intermed, PROG`
injection			`DFA`	inverse
	`REL`		`EFA`		`REL`
	`SYM_REL`		`FA`		`SYM_REL`
injToEFA			`GRAM`	`isEmpty, SET`
	`DFA`		`LP`	`IsInt, PROG`
	`NFA`		`NFA`	`IsLam, PROG`
injToFA			`PROD_SET`	`IsNeg, PROG`
	`DFA`		`PROG`	`IsNil, PROG`
	`EFA`		`PT`	`isNonEmpty, SET`
	`NFA`		`REG`	isomorphic
`injToNFA, DFA`			`RFA`		`DFA`
input			`STR`		`EFA`
	`DFA`		`STR_SET`		`FA`
	`EFA`		`SYM`		`GRAM`
	`FA`		`SYM_REL`		`NFA`
	`GRAM`		`SYM_SET`	isomorphism
	`LP`		`TRAN_REG_SET`		`DFA`
	`NFA`		`TRAN_SET`		`EFA`
	`PROD_SET`		`VAR_SET`		`FA`
	`PROG`	`inputLabFromLabToks, VAR`			`GRAM`
	`PT`	`insert, SORT`			`NFA`
	`REG`	`Int, PROG`		`IsPair, PROG`
	`RFA`	`int, PROG`		`IsPos, PROG`
	`STR`	inter		`IsStr, PROG`
	`STR_SET`		`DFA`	`IsSym, PROG`
	`SYM`		`EFA`	`isValue, PROG`
	`SYM_REL`		`NFA`	`IsZero, PROG`
	`SYM_SET`		`PROD_SET`
	`TRAN_REG_SET`		`SET`
	`TRAN_SET`		`STR_SET`
	`VAR`		`SYM_REL`
	`VAR_SET`		`SYM_SET`
			`TRAN_REG_SET`
			`TRAN_SET`
			`VAR_SET`

J

jforlanEdit		jforlanNew		`join, LP`
	`FA`		`FA`
	`PROG`		`PROG`
	`PT`		`PT`
	`REG`		`REG`
	`RFA`		`RFA`

L

`label, LP`		`leaf, PT`	`lexString, LEX`
labsOfTransitionsBetween		`length, LP`	`LIST_AUX`
	`DFA`	`LetRec, PROG`	`ListAux`
	`EFA`	`letRec, PROG`	`lookup, TAB`
	`FA`	`LetSimp, PROG`	`LP`
	`NFA`	`letSimp, PROG`	`LP`
`Lam, PROG`		`LEX`	`lp, LP`
`lam, PROG`		`Lex`
`last, STR`		`lexFile, LEX`

M

`makeBijectionFromAvoiding, SYM_REL`		`mapToList, SET`		`messageString, MESSAGES`
map		`max, LIST_AUX`		`min, LIST_AUX`
	`PROD_SET`	maximumLengthPath		`minimize, DFA`
	`SET`		`PROG`	`Minus, PROG`
	`STR_SET`		`PT`	minus
	`SYM_REL`		`REG`		`DFA`
	`SYM_SET`	memb			`PROD_SET`
	`TRAN_REG_SET`		`PROD_SET`		`SET`
	`TRAN_SET`		`SET`		`STR_SET`
	`VAR_SET`		`STR_SET`		`SYM_REL`
mapFromList			`SYM_REL`		`SYM_SET`
	`PROD_SET`		`SYM_SET`		`TRAN_REG_SET`
	`SET`		`TRAN_REG_SET`		`TRAN_SET`
	`STR_SET`		`TRAN_SET`		`VAR_SET`
	`SYM_REL`		`VAR_SET`	mlFunctionToFunction
	`SYM_SET`	`messagePP, MESSAGES`			`REL`
	`TRAN_REG_SET`	`MESSAGES`			`SYM_REL`
	`TRAN_SET`	`Messages`
	`VAR_SET`

N

`Next, PROG`	`nullableVariables, GRAM`		`numSyms, REG`
`next, PROG`	`numConcats, REG`		numTransitions
`next, PROG`	`numProductions, GRAM`			`DFA`
`NFA`	numStates			`EFA`
`NFA`		`DFA`		`FA`
`nfa, NFA`		`EFA`		`NFA`
`Nil, PROG`		`FA`		`RFA`
`Node, PT`		`NFA`	`numVariables, GRAM`
`noisy, MESSAGES`		`RFA`

O

`of, PROG`
`OpenPar, LEX`
`operat, PROG`
output
	`DFA`
	`EFA`
	`FA`
	`GRAM`
	`LP`
	`NFA`
	`PROD_SET`
	`PROG`
	`PT`
	`REG`
	`RFA`
	`STR`
	`STR_SET`
	`SYM`
	`SYM_REL`
	`SYM_SET`
	`TRAN_REG_SET`
	`TRAN_SET`
	`VAR`
	`VAR_SET`

P

`Pair, PROG`		`PP`		`PROG`
`pair, PROG`		`PP`		`Prog`
`PARAMS`		`pp, PP`		`prog, PROG`
`Params`		prefix		projFromEFA
`parseStr, GRAM`			`EFA`		`DFA`
`parseStrFromSym, GRAM`			`GRAM`		`NFA`
`Perc, LEX`			`NFA`	projFromFA
Plus			`REG`		`DFA`
	`LEX`		`STR`		`EFA`
	`PROG`	`print, MESSAGES`			`NFA`
position		processStr		`projFromNFA, DFA`
	`LIST_AUX`		`DFA`	`ProperSub, DFA`
	`SET`		`EFA`	`ProperSup, DFA`
`possBeginsWithStr, STR`			`FA`	`protect, MESSAGES`
power			`NFA`	`PT`
	`REG`	processStrBackwards		`PT`
	`STR`		`DFA`	`pt, PT`
	`STR_SET`		`EFA`	pump
powSet			`FA`		`LP`
	`PROD_SET`		`NFA`		`PT`
	`SET`	`PROD`		pumping_division
	`STR_SET`	`Prod`			`LP`
	`SYM_REL`	`prod, PROD`			`PT`
	`SYM_SET`	`prod, LIST_AUX`		pumpingDivide
	`TRAN_REG_SET`	`PROD_SET`			`LP`
	`TRAN_SET`	`ProdSet`			`PT`
	`VAR_SET`	`productions, GRAM`

Q

quiet, MESSAGES

quote, PP

R

range		reflexiveSymmetricClosure		renameStates
	`REL`		`REL`		`DFA`
	`SYM_REL`		`SYM_REL`		`EFA`
raw		reflexiveTransitiveClosure			`FA`
	`FA`		`REL`		`NFA`
	`GRAM`		`SYM_REL`	renameStatesCanonically
	`LP`	reflexiveTransitiveSymmetricClosure			`DFA`
	`PROG`		`REL`		`EFA`
	`PT`		`SYM_REL`		`FA`
	`REG`	`REG`			`NFA`
	`RFA`	`Reg`		`renameVariables, GRAM`
reachableFrom		`reg, REG`		`renameVariablesCanonically, GRAM`
	`DFA`	`RejectOtherwise, PROG`		restrictFunction
	`EFA`	`RejectWithFalse, PROG`			`REL`
	`FA`	`REL`			`SYM_REL`
	`GRAM`	`Rel`		rev
	`NFA`	`rel, REL`			`EFA`
reachableFromBackwards		`relation, DFA`			`FA`
	`DFA`	relationFromTo			`GRAM`
	`EFA`		`REL`		`REG`
	`FA`		`SYM_REL`		`STR_SET`
	`GRAM`	relationOn		`RFA`
	`NFA`		`REL`	`RFA`
reachify			`SYM_REL`	`rfa, RFA`
	`DFA`	`relationship, DFA`		`rightSides, GRAM`
	`EFA`	`relationship, DFA`		`rootLabel, PT`
	`FA`	`removeEmptyAndUnitProductions, GRAM`		`run, PROG`
	`GRAM`	`removeEmptyProductions, GRAM`		`run, PROG`
	`NFA`	`removePrefix, STR`
reflexive		`removeState, RFA`
	`REL`	`removeSuffix, STR`
	`SYM_REL`	renameAlphabet
reflexiveClosure			`DFA`
	`REL`		`EFA`
	`SYM_REL`		`FA`
			`GRAM`
			`NFA`
			`REG`
			`STR`
			`STR_SET`

S

select		`sorted, SORT`		`subst, PROG`
	`PROG`	`split, REG`		`substr, STR`
	`REG`	`Star, LEX`		`suffix, STR`
`selectPT, PT`		startState		`sum, LIST_AUX`
`Semicolon, LEX`			`DFA`	`SYM`
`semicolon, PP`			`EFA`	`Sym`
`SET`			`FA`	Sym
`Set`			`LP`		`LEX`
`set, SET`			`NFA`		`LP`
`setPrintingDataStructureDepth, PARAMS`			`RFA`		`PROG`
`setPrintingLineLength, PARAMS`		`startVariable, GRAM`			`REG`
`setPrintingListLength, PARAMS`		states		sym
`setPrintingOfGarbageCollectionMessages, PARAMS`			`DFA`		`LEX`
`setPrintingStringSize, PARAMS`			`EFA`		`SYM`
`setSearchPath, PARAMS`			`FA`	sym
`setTrackExceptions, PARAMS`			`NFA`		`LP`
`setWorkingDirectory, PARAMS`			`RFA`		`PROG`
simplify		`STR`		`SYM_REL`
	`EFA`	`Str`		`sym_rel, SYM_REL`
	`FA`	`Str, PROG`		`SYM_SET`
	`GRAM`	`str, STR`		`sym_top, LEX`
	`NFA`	`str, PROG`		`SymListToStr, PROG`
	`REG`	`STR_SET`		symmetric
`simplifyTrace, REG`		`StrSet`			`REL`
`sing, SET`		strsOfPumpingDivision			`SYM_REL`
`SingArr, LEX`			`LP`	symmetricClosure
size			`PT`		`REL`
	`PROG`	`StrToSymList, PROG`			`SYM_REL`
	`PT`	`sub, LIST_AUX`		`SymRel`
	`REG`	subset		`SymSet`
	`SET`		`DFA`	`symToPP, LEX`
	`SYM`		`PROD_SET`	`symTopToSym, LEX`
`sizeSym, LEX`			`SET`	`symToString, LEX`
`Snd, PROG`			`STR_SET`	`symToSymTop, LEX`
`SORT`			`SYM_REL`
`Sort`			`SYM_SET`
`sort, SORT`			`TRAN_REG_SET`
			`TRAN_SET`
			`VAR_SET`

T

`TAB`		`toStr, PROG`		`TranSet`
`Tab`		toString		transitionFun
`tab, TAB`			`DFA`		`DFA`
`Tilde, LEX`			`EFA`		`EFA`
`times, SET`			`FA`		`FA`
`times3, SET`			`GRAM`		`NFA`
`times4, SET`			`LP`	transitionFunBackwards
`times5, SET`			`NFA`		`DFA`
`tl, SET`			`PP`		`EFA`
`toClosed, PROG`			`PROD_SET`		`FA`
`tok, LEX`			`PROG`		`NFA`
toList			`PT`	transitions
	`SET`		`REG`		`DFA`
	`TAB`		`RFA`		`EFA`
`top, SYM`			`STR`		`FA`
toPP			`STR_SET`		`NFA`
	`FA`		`SYM`		`RFA`
	`GRAM`		`SYM_REL`	transitive
	`LP`		`SYM_SET`		`REL`
	`PROD_SET`		`TRAN_REG_SET`		`SYM_REL`
	`PROG`		`TRAN_SET`	transitiveClosure
	`PT`		`VAR`		`REL`
	`REG`		`VAR_SET`		`SYM_REL`
	`RFA`	`toStrSet, REG`		transitiveSymmetricClosure
	`STR`	`toTop, SYM`			`REL`
	`STR_SET`	`TRAN`			`SYM_REL`
	`SYM`	`Tran`		`True, PROG`
	`SYM_REL`	`tran, TRAN`
	`SYM_SET`	`TRAN_REG`
	`TRAN_REG_SET`	`tran_reg, TRAN_REG`
	`TRAN_SET`	`TRAN_REG_SET`
	`VAR`	`TRAN_SET`
	`VAR_SET`	`TranReg`
toRaw		`TranRegSet`
	`FA`
	`GRAM`
	`LP`
	`PROG`
	`PT`
	`REG`
	`RFA`

U

`unexpectedLabTok, LEX`		`Unknown, PROG`		`USE`
`Union, REG`		update		`Use`
union			`LIST_AUX`	`use, USE`
	`EFA`		`PROG`
	`FA`		`PT`
	`GRAM`		`REG`
	`PROD_SET`		`TAB`
	`REG`	updateFunction
	`SET`		`REL`
	`STR_SET`		`SYM_REL`
	`SYM_REL`
	`SYM_SET`
	`TRAN_REG_SET`
	`TRAN_SET`
	`VAR_SET`

V

valid		validPath		`var, VAR`
	`DFA`		`PROG`	`var, PROG`
	`EFA`		`PT`	`VAR_SET`
	`FA`		`REG`	`variables, GRAM`
	`GRAM`	`validPT, GRAM`		`VarSet`
	`NFA`	validPumpingDivision		`VERSION`
	`RFA`		`LP`	`Version`
validLeafPath			`PT`
	`PROG`	`Value, PROG`
	`PT`	`VAR`
	`REG`	`Var`
validLP		`Var, PROG`
	`DFA`
	`EFA`
	`FA`
	`NFA`

W

weakSimplify, REG

weakSubset, REG

Y

yield, PT

[ Top | Parent | Root | Contents ]