Package forge.solve

Interface Summary
ForgeConstant A Forge constant -- a relation of atoms.
ForgeConstant.Tuple A constant that is a tuple of atoms.
ForgeConstant.Unary A constant that is a set of atoms.
 

Class Summary
Binding Binds variables to constants.
BooleanAtom A constant boolean expression: true or false.
Coverage Coverage of a
Coverage.Score A coverage score given to a statement.
ForgeAtom A singleton constant
ForgeBounds Bounds type and the intial value of variables by constants.
ForgeReporter Reports details of the Forge and underlying Kodkod analysis.
ForgeSolution A solution that includes coverage information when it is unsatisfiable.
ForgeSolver Binds instance literals to atoms.
InstanceAtom An atom in an Atom class.
IntegerAtom A constant boolean expression: true or false.
SolveOptions Forge solving options.
SolveOptions.Builder Builder for SolveOptions
Step A step in a trace.
Step.Branch A branch step: a BranchStmt and a truth value.
Step.Call A call step: an CallStmt with its own trace.
Step.Update An update step: an UpdateStmt and an effect.
Trace A trace of a Forge procedure, a series of steps.
 

Enum Summary
SolveOptions.SatSolver Enumeration of possible SAT Solvers.