Index of exceptions


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]