Serialized Form


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

value

BooleanConstant value

log

TranslationLog log

bounds

Bounds bounds

Class kodkod.engine.fol2sat.UnboundLeafException extends java.lang.RuntimeException implements Serializable

serialVersionUID: 2472395272061454465L

Serialized Fields

leaf

LeafExpression leaf

Package kodkod.engine.satlab

Class kodkod.engine.satlab.SATAbortedException extends java.lang.RuntimeException implements Serializable

serialVersionUID: 5162235133382021308L