gamma ~master (2021-10-12T13:52:47Z)
Dub
Repo
RuleBase
epsilon
soag
soag
Undocumented in source.
alias
RuleBase
=
RuleDesc
Meta
Source
See Implementation
epsilon
soag
soag
aliases
RuleBase
classes
Call
EmptyRule
Instruction
Leave
OrdRule
RuleDesc
Visit
functions
AppAffOcc
AppEmptyRule
AppLeftSymOcc
AppRepRule
AppRule
AppSymOccs
AppVS
Error
Expand
Init
IsEvaluatorRule
IsInherited
IsOrientable
IsPredNont
IsSynthesized
isEqual
structs
AffOccDesc
AffOccNumRecord
SymDesc
SymOccDesc
variables
AffOcc
AffixApplCnt
DefAffOcc
MaxAffNumInRule
MaxAffNumInSym
MaxPart
NextAffOcc
NextAffixApplCnt
NextDefAffOcc
NextPartNum
NextRule
NextStorageName
NextSym
NextSymOcc
NextVS
PartNum
Rule
StorageName
Sym
SymOcc
VS
abnormalError
cyclicTDP
firstAffOcc
firstAffOccNum
firstAffixApplCnt
firstDefAffOcc
firstPartNum
firstRule
firstStorageName
firstSym
firstSymOcc
firstVS
nil
notEnoughMemory
notLeftDefined