C | |
CannotNegate [Logic] | |
Contradiction [Satproc] | |
E | |
Empty [Util.STACK] |
Raised when
Util.Stack.pop or Util.Stack.top is applied to an
empty stack.
|
Error [Errormsg] |
Error reporting functions raise this exception
|
F | |
Failure [Engine] | |
G | |
GotSignal [Util] | |
H | |
HasUVar [Logic] | |
I | |
IntegerTooLarge [Logic] |
Converts an int32 into an integer.
|
IntegerTooLarge [Util.Int32Op] | |
N | |
NoPerfCount [Stats] | |
P | |
Proved [Satproc] |