Forlan Manual


Unified identifier index


A

Accept, PROG adjacentElts, LIST_AUX Ans, PROG
accept, PROG all, SET antisymmetric
accept, PROG allButLast REL
accepted LIST_AUX SYM_REL
DFA STR App, PROG
EFA allSplittings, LIST_AUX app, PROG
FA allStr, REG apply
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 compareCC, REG cons
calc, PROG compareComplexity, REG LP
CannotHappen, MESSAGES compareComplexityTotal, REG PT
cannotHappen, MESSAGES compareList, SET ConsSym, PROG
cc, REG comparePair Const, PROG
cc, REG SET const, PROG
ccToList, REG SYM_REL const, PROG
charToBasic compareSym, LEX cp, PROG
LEX compareTriple, SET
SYM complement, DFA
checkInLabToks, LEX compose
checkLP REL
DFA SYM_REL
EFA Compound, SYM
FA CompoundSymTop, LEX
NFA Concat, REG
RFA concat
checkPT, GRAM EFA
checkPumpingDivision FA
LP GRAM
PT REG
chomskyNormalForm, GRAM STR_SET
ClosPar, LEX concatsToList, REG
Closure, REG concr
closure FA
EFA GRAM
FA LP
GRAM PROG
REG PT
colon, PP REG
Comma, LEX RFA
comma, PP Cond, PROG
Compare, PROG cond, PROG
compare Cons, LP
DFA
EFA
FA
GRAM
LP
NFA
PROD
PROD_SET
PROG
PT
REG
RFA
SET
STR
STR_SET
SYM
SYM_REL
SYM_SET
TRAN
TRAN_REG
TRAN_REG_SET
TRAN_SET
VAR
VAR_SET

D

DEBUG determProcessStr, DFA Dollar, LEX
Debug determSimplified, DFA domain
debug, DEBUG determSimplify, DFA REL
decons, PT determTransitionFun, DFA SYM_REL
DeconsSym, PROG DFA TAB
decorate, PP DFA DoubArr, LEX
determAccepted, DFA dfa, DFA

E

EFA emptyStr equalTok, LEX
EFA DFA equivalent, DFA
efa, EFA EFA Error, MESSAGES
eliminateEmptyAndUnitProductions, GRAM FA Error, PROG
eliminateEmptyProductions, GRAM GRAM error, LEX
eliminateState, RFA NFA errorNotEOFTerminated, LEX
empty REG errorPP, MESSAGES
PP endState, LP errorString, MESSAGES
SET EOF, LEX evaluate, PROG
TAB Equal, DFA exists, SET
emptyClose equal expectedDigit, LEX
EFA DFA expectedLetter, LEX
FA EFA expectedLetterOrDigit, LEX
emptyCloseBackwards FA expectedTok, LEX
EFA GRAM
FA LP
EmptySet, REG NFA
emptySet PROD
DFA PROD_SET
EFA PROG
FA PT
GRAM REG
NFA RFA
REG SET
EmptyStr, REG SORT
STR
STR_SET
SYM
SYM_REL
SYM_SET
TRAN
TRAN_REG
TRAN_REG_SET
TRAN_SET
VAR
VAR_SET

F

FA findValidPumpingDivision fromString
FA LP DFA
fa, FA PT EFA
Fail, PROG findValidPumpingDivisionOpt FA
False, PROG LP GRAM
faToReg, RFA PT LP
faToRegPerms, RFA free, PROG NFA
faToRegPermsTrace, RFA fromClosed, PROG PP
filter, SET fromConcr PROD_SET
findAcceptingLP FA PROG
DFA GRAM PT
EFA LP REG
FA PROG RFA
NFA PT STR
findAcceptingLPOpt REG STR_SET
DFA RFA SYM
EFA fromEFA, NFA SYM_REL
FA fromFA SYM_SET
NFA EFA TRAN_REG_SET
findIsomorphism GRAM TRAN_SET
DFA RFA VAR
EFA fromList VAR_SET
FA PROD_SET fromStringSplitEscape, PP
GRAM SET fromStrSet
NFA STR_SET GRAM
findIsomorphismOpt SYM_REL REG
DFA SYM_SET fromSym
EFA TAB EFA
FA TRAN_REG_SET FA
GRAM TRAN_SET GRAM
NFA VAR_SET NFA
findLP fromNFA, DFA REG
DFA fromReg fromTo, LIST_AUX
EFA FA fromTop, SYM
FA GRAM Fst, PROG
NFA fromRep, PROG function
findLPOpt fromStr REL
DFA FA SYM_REL
EFA GRAM functionFromTo
FA PROG REL
NFA REG SYM_REL

G

genConcat genTimes, SET getPrintingLineLength, PARAMS
EFA genUnion getPrintingListLength, PARAMS
FA EFA getPrintingStringSize, PARAMS
GRAM FA getSearchPath, PARAMS
REG GRAM getTrackExceptions, PARAMS
generated, GRAM PROD_SET getVersion, VERSION
generatedFromVariable, GRAM REG getWorkingDirectory, PARAMS
genInter SET globallySimplified, REG
DFA STR_SET globallySimplify, REG
EFA SYM_REL globallySimplifyTrace, REG
NFA SYM_SET GRAM
PROD_SET TRAN_REG_SET Gram
SET TRAN_SET gram, GRAM
STR_SET VAR_SET
SYM_REL getCompilationManagerVerbosity, PARAMS
SYM_SET getPrintingDataStructureDepth, PARAMS
TRAN_REG_SET
TRAN_SET
VAR_SET

H

hasEmp, REG hd, SET
hasNoEmptyOrUnitProductions, GRAM Heading, LEX
hasNoEmptyProductions, GRAM height
hasSym, REG PROG
PT
REG

I

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

J

jforlanEdit jforlanPretty join, LP
FA FA
PROG PROG
PT PT
REG REG
RFA RFA
jforlanNew STR
FA SYM
PROG jforlanValidate
PT FA
REG PROG
RFA PT
REG
RFA
STR
SYM

L

label, LP letRec, PROG locallySimplified, REG
Lam, PROG LetSimp, PROG locallySimplify, REG
lam, PROG letSimp, PROG locallySimplifyTrace, REG
last, STR LEX localSimplificationRelations, REG
leaf, PT Lex lookup, TAB
length, LP lexFile, LEX LP
less, SORT lexString, LEX LP
lessEqual, SORT LIST_AUX lp, LP
LetRec, PROG ListAux

M

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

N

newline, PP numProductions, GRAM numVariables, GRAM
Next, PROG numStates
NFA DFA
NFA EFA
nfa, NFA FA
Nil, PROG NFA
Node, PT RFA
nullableVariables, GRAM numSyms, REG
numConcats, REG numTransitions
numLeaves DFA
PROG EFA
PT FA
REG NFA
RFA

O

obviousSubset, REG
OpenPar, LEX
oper, 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, PROG
pair, PROG PP projFromEFA
PARAMS pp, PP DFA
Params prefix NFA
parsable, GRAM EFA projFromFA
parse, GRAM GRAM DFA
parseAlphabet, GRAM NFA EFA
parseAlphabetFromVariable, GRAM REG NFA
parseAlphabetFromVariableOpt, GRAM STR projFromNFA, DFA
parseAlphabetOpt, GRAM processStr ProperSub, DFA
parseOpt, GRAM DFA ProperSup, DFA
partition, SET EFA PT
Perc, LEX FA PT
Plus NFA pt, PT
LEX PROD pumping_division
PROG Prod LP
position prod, PROD PT
LIST_AUX prod, LIST_AUX pumpValidPumpingDivision
SET PROD_SET LP
possBeginsWithStr, STR ProdSet PT
power productions, GRAM
REG PROG
STR Prog
STR_SET

Q

quiet, MESSAGES quote, PP

R

range reg, REG renameStatesCanonically
REL RejectOtherwise, PROG DFA
SYM_REL RejectWithFalse, PROG EFA
reachableFrom, GRAM REL FA
reachableFromBackwards, GRAM Rel NFA
reachified rel, REL RFA
DFA relation, DFA renameVariables, GRAM
EFA relationFromTo renameVariablesCanonically, GRAM
FA REL repeat, LIST_AUX
GRAM SYM_REL restrictFunction
NFA relationOn REL
reachify REL SYM_REL
DFA SYM_REL rev
EFA relationship, DFA EFA
FA relationship, DFA FA
GRAM removePrefix, STR GRAM
NFA removeSuffix, STR REG
reflexive removeWhiteSpace, STRING_AUX STR_SET
REL renameAlphabet RFA
SYM_REL DFA RFA
reflexiveClosure EFA rfa, RFA
REL FA rightConcat, REG
SYM_REL GRAM rightUnion, REG
reflexiveTransitiveClosure NFA rootLabel, PT
REL REG run, PROG
SYM_REL STR run, PROG
reflexiveTransitiveSymmetricClosure STR_SET runJForlan, SYSTEM
REL renameStates
SYM_REL DFA
REG EFA
Reg FA
NFA
RFA

S

select standard, RFA subst, PROG
PROG standardize, RFA substr, STR
REG standardized, REG succCC, REG
selectPT, PT Star, LEX suffix, STR
Semicolon, LEX startState sum, LIST_AUX
semicolon, PP DFA SYM
SET EFA Sym
Set FA Sym
set, SET LP LEX
setCompilationManagerVerbosity, PARAMS 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
simplified step, PROG SYM_REL
EFA step, PROG sym_rel, SYM_REL
FA STR SYM_SET
GRAM Str sym_top, LEX
NFA Str, PROG SymListToStr, PROG
simplify str, STR symmetric
EFA str, PROG REL
FA STR_SET SYM_REL
GRAM STRING_AUX symmetricClosure
NFA StringAux REL
sing, SET StrSet SYM_REL
SingArr, LEX strsOfValidPumpingDivision SymRel
singCC, REG LP SymSet
size PT symToPP, LEX
PROG StrToSymList, PROG symTopToSym, LEX
PT sub symToString, LEX
REG DFA symToSymTop, LEX
SET EFA SYSTEM
SYM FA System
sizeSym, LEX GRAM
Snd, PROG LIST_AUX
SORT NFA
Sort RFA
sort, SORT subset
sorted, SORT DFA
sortUnions, REG PROD_SET
split, REG SET
splitAt STR_SET
LIST_AUX SYM_REL
LP SYM_SET
TRAN_REG_SET
TRAN_SET
VAR_SET

T

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

U

unexpectedTok, LEX unionCC, REG USE
Union, REG unionsToList, REG Use
union Unknown, PROG use, USE
EFA update
FA LIST_AUX
GRAM PROG
PROD_SET PT
REG REG
SET TAB
STR_SET updateFunction
SYM_REL REL
SYM_SET SYM_REL
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
RFA

W

weaklySimplified, REG weaklySimplify, REG

Y

yield, PT

[ Top | Parent | Root | Contents ]

Forlan Version 4.5
Copyright © 2012 Alley Stoughton