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

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() - Method in enum kodkod.ast.operator.ExprOperator

Returns true if this is a binary operator.

binary() - Method in enum kodkod.ast.operator.IntOperator

Returns true if this is a binary operator.

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.

BinaryFormula - Class in kodkod.ast

A formula with two children.

BinaryIntExpression - Class in kodkod.ast

A binary integer expression such as x + y.

BinaryIntExpression(IntExpression, IntOperator, IntExpression) - Constructor for class kodkod.ast.BinaryIntExpression

Constructs a new binary int formula: left op right

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 class kodkod.engine.fol2sat.Translation

Returns the optimized bounds.

bounds() - Method in class kodkod.engine.fol2sat.TranslationLog

Returns 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