|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
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. |
|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |