A B C D E F G H I J K L M N O P Q R S T U V W X Z

B

backwardReachable(IntSet) - Method in interface kodkod.engine.satlab.ResolutionTrace
Returns the indices of all clauses reachable from the clauses at the given indices by following the transpose of the antecedent relation zero or more times.
bestSet(int) - Static method in class kodkod.util.ints.Ints
Returns an implementation of the int set interface that offers the best time/space trade-off for a set that can store all elements in the half open range [0..max).
bestSet(int, int) - Static method in class kodkod.util.ints.Ints
Returns an implementation of the int set interface that offers the best time/space trade-off for a set that can store all elements in the closed range [min..max].
binary(String) - Static method in class kodkod.ast.Relation
Returns a new binary relation with the given name.
BinaryExpression - Class in kodkod.ast
A relational expression with two children.
BinaryExpression.Operator - Enum in kodkod.ast
A binary expression operator: union, difference, intersection, override, join, and product.
BinaryFormula - Class in kodkod.ast
A formula with two children.
BinaryFormula.Operator - Enum in kodkod.ast
Represents a binary formula operator.
BinaryIntExpression - Class in kodkod.ast
A binary integer expression, e.g.
BinaryIntExpression(IntExpression, BinaryIntExpression.Operator, IntExpression) - Constructor for class kodkod.ast.BinaryIntExpression
Constructs a new binary int formula: left op right
BinaryIntExpression.Operator - Enum in kodkod.ast
Binary operators on integer expressions.
bit(int) - Method in class kodkod.engine.bool.Int
Returns the BooleanValue at the specified index.
bitwidth() - Method in class kodkod.engine.bool.BooleanFactory
Returns the bitwidth used for integer representation.
bitwidth() - Method in class kodkod.engine.config.Options
Returns the size of the integer representation.
BooleanAccumulator - Class in kodkod.engine.bool
An accumulator for easy construction of gates with multiple inputs.
BooleanConstant - Class in kodkod.engine.bool
A boolean constant, true or false.
BooleanFactory - Class in kodkod.engine.bool
A factory for creating boolean values, matrices, and ints.
BooleanFormula - Class in kodkod.engine.bool
A non-constant boolean value with zero or more inputs.
BooleanMatrix - Class in kodkod.engine.bool
An n-dimensional matrix of boolean values.
booleanValue() - Method in class kodkod.ast.ConstantFormula
Returns the boolean value that corresponds to this constant formula.
booleanValue() - Method in class kodkod.engine.bool.BooleanConstant
Returns the primitive boolean representation of this label.
BooleanValue - Class in kodkod.engine.bool
Represents a boolean value, which may be a formula or a constant.
BooleanVariable - Class in kodkod.engine.bool
Represents a boolean variable.
BooleanVisitor<T,A> - Interface in kodkod.engine.bool
Visits boolean formulas.
bound(Relation, TupleSet, TupleSet) - Method in class kodkod.instance.Bounds
Sets the lower and upper bounds for the given relation.
bound(Relation, TupleSet) - Method in class kodkod.instance.Bounds
Makes the specified tupleset the upper bound on the contents of the given relation.
boundExactly(Relation, TupleSet) - Method in class kodkod.instance.Bounds
Sets both the lower and upper bounds of the given relation to the given set of tuples.
boundExactly(int, TupleSet) - Method in class kodkod.instance.Bounds
Makes the specified tupleset an exact bound on the relational value that corresponds to the given integer.
bounds() - Method in exception kodkod.engine.fol2sat.TrivialFormulaException
Return this.bounds.
Bounds - Class in kodkod.instance
A Bounds object maps a relation r to two sets of tuples, rL and rU, which represent the lower and upper bounds on the set of tuples to which an instance based on these bounds may map r.
Bounds(Universe) - Constructor for class kodkod.instance.Bounds
Constructs new Bounds over the given universe.

A B C D E F G H I J K L M N O P Q R S T U V W X Z