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, REG equalTok, LEX
EFA emptyStr equivalent, DFA
efa, EFA DFA Error, MESSAGES
eliminateEmptyAndUnitProductions, GRAM EFA Error, PROG
eliminateEmptyProductions, GRAM FA error, LEX
eliminateState, RFA GRAM errorNotEOFTerminated, LEX
eliminateVariable, GRAM NFA errorPP, MESSAGES
eliminateVariableOpt, GRAM REG errorString, MESSAGES
empty endState, LP evaluate, PROG
PP EOF, LEX exists, SET
SET Equal, DFA expectedDigit, LEX
TAB equal expectedLetter, LEX
emptyClose DFA expectedLetterOrDigit, LEX
EFA EFA expectedTok, LEX
FA FA
emptyCloseBackwards GRAM
EFA LP
FA NFA
EmptySet, REG PROD
emptySet PROD_SET
DFA PROG
EFA PT
FA REG
GRAM RFA
NFA SET
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
pair, PROG PP Prog
PARAMS pp, PP prog, PROG
Params prefix projFromEFA
parsable, GRAM EFA DFA
parse, GRAM GRAM NFA
parseAlphabet, GRAM NFA projFromFA
parseAlphabetFromVariable, GRAM REG DFA
parseAlphabetFromVariableOpt, GRAM STR EFA
parseAlphabetOpt, GRAM STR_SET NFA
parseOpt, GRAM prefixes, STR_SET projFromNFA, DFA
partition, SET processStr ProperSub, DFA
Perc, LEX DFA ProperSup, DFA
Plus EFA PT
LEX FA PT
PROG NFA pt, PT
position PROD pumping_division
LIST_AUX Prod LP
SET prod, PROD PT
possBeginsWithStr, STR prod, LIST_AUX pumpValidPumpingDivision
power PROD_SET LP
REG ProdSet PT
STR productions, GRAM
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 restart, GRAM
NFA relationOn restartOpt, GRAM
reachify REL restrictFunction
DFA SYM_REL REL
EFA relationship, DFA SYM_REL
FA relationship, DFA rev
GRAM removePrefix, STR EFA
NFA removeSuffix, STR FA
reflexive removeWhiteSpace, STRING_AUX GRAM
REL renameAlphabet REG
SYM_REL DFA STR_SET
reflexiveClosure EFA RFA
REL FA RFA
SYM_REL GRAM rfa, RFA
reflexiveTransitiveClosure NFA rightConcat, REG
REL REG rightUnion, REG
SYM_REL STR rootLabel, PT
reflexiveTransitiveSymmetricClosure STR_SET run, PROG
REL renameStates run, PROG
SYM_REL DFA runJForlan, SYSTEM
REG EFA
Reg FA
NFA
RFA

S

select standard, RFA subst, PROG
PROG standardize, RFA substr, STR
REG standardized, REG substring, STR_SET
selectPT, PT Star, LEX succCC, REG
Semicolon, LEX startState suffix
semicolon, PP DFA STR
SET EFA STR_SET
Set FA sum, LIST_AUX
set, SET LP SYM
setCompilationManagerVerbosity, PARAMS NFA Sym
setPrintingDataStructureDepth, PARAMS RFA Sym
setPrintingLineLength, PARAMS startVariable, GRAM LEX
setPrintingListLength, PARAMS states LP
setPrintingOfGarbageCollectionMessages, PARAMS DFA PROG
setPrintingStringSize, PARAMS EFA REG
setSearchPath, PARAMS FA sym
setTrackExceptions, PARAMS NFA LEX
setWorkingDirectory, PARAMS RFA SYM
simplified step, PROG sym
EFA step, PROG LP
FA STR PROG
GRAM Str SYM_REL
NFA Str, PROG sym_rel, SYM_REL
simplify str, STR SYM_SET
EFA str, PROG sym_top, LEX
FA STR_SET SymListToStr, PROG
GRAM STRING_AUX symmetric
NFA StringAux REL
sing, SET StrSet SYM_REL
SingArr, LEX strsOfValidPumpingDivision symmetricClosure
singCC, REG LP REL
size PT SYM_REL
PROG StrToSymList, PROG SymRel
PT sub SymSet
REG DFA symToPP, LEX
SET EFA symTopToSym, LEX
SYM FA symToString, LEX
sizeSym, LEX GRAM symToSymTop, LEX
Snd, PROG LIST_AUX SYSTEM
SORT NFA System
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.10
Copyright © 2018 Alley Stoughton