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.
|