Index of class methods


A
assume [Engine.uiType]
Called when an assumption is encountered

E
enterBlock [Engine.uiType]
exitBlock [Engine.uiType]

G
goal_failure [Engine.uiType]
Called when a goal fails
goal_success [Engine.uiType]
Called when a goal is successfully proved

N
name [Engine.uiType]

O
options [Engine.uiType]

P
pExp [Logic.logicPrinter]
Invoked for each expression.
pPred [Logic.logicPrinter]
Invoked for each predicate

R
run [Engine.uiType]
Called to start the UI

S
start_goal [Engine.uiType]
Called when a goal is initiated

U
unassume [Engine.uiType]
Called when an assumption is retracted

V
vexp [Logic.logicVisitor]
Invoked on each expression occurrence.
vpred [Logic.logicVisitor]
Invoked on each predicate occurrence.