|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Package kodkod.engine |
---|
Class kodkod.engine.AbortedException extends java.lang.RuntimeException implements Serializable |
---|
serialVersionUID: 201522560152091247L
Package kodkod.engine.fol2sat |
---|
Class kodkod.engine.fol2sat.HigherOrderDeclException extends java.lang.RuntimeException implements Serializable |
---|
serialVersionUID: 1892780864484615171L
Serialized Fields |
---|
Decl decl
Class kodkod.engine.fol2sat.TranslationAbortedException extends java.lang.RuntimeException implements Serializable |
---|
serialVersionUID: -7923938055171364876L
Class kodkod.engine.fol2sat.TrivialFormulaException extends java.lang.Exception implements Serializable |
---|
serialVersionUID: 6251577831781586067L
Serialized Fields |
---|
BooleanConstant value
TranslationLog log
Bounds bounds
Class kodkod.engine.fol2sat.UnboundLeafException extends java.lang.RuntimeException implements Serializable |
---|
serialVersionUID: 2472395272061454465L
Serialized Fields |
---|
LeafExpression leaf
Package kodkod.engine.satlab |
---|
Class kodkod.engine.satlab.SATAbortedException extends java.lang.RuntimeException implements Serializable |
---|
serialVersionUID: 5162235133382021308L
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |