Serialized Form

Package kodkod.engine

Class kodkod.engine.AbortedException extends RuntimeException implements Serializable

serialVersionUID:

201522560152091247L

Class kodkod.engine.CapacityExceededException extends RuntimeException implements Serializable

serialVersionUID:

-8098615204149641969L

Serialized Fields

dims

IntVector dims

Package kodkod.engine.fol2sat

Class kodkod.engine.fol2sat.HigherOrderDeclException extends RuntimeException implements Serializable

serialVersionUID:

1892780864484615171L

Serialized Fields

decl

Decl decl

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

serialVersionUID:

2472395272061454465L

Serialized Fields

leaf

LeafExpression leaf

Package kodkod.engine.satlab

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

serialVersionUID:

5162235133382021308L