|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use BooleanValue | |
---|---|
kodkod.engine.bool | Provides classes for constructing and composing boolean matrices, boolean circuits, and boolean representations of integers. |
Uses of BooleanValue in kodkod.engine.bool |
---|
Subclasses of BooleanValue in kodkod.engine.bool | |
---|---|
class |
BooleanAccumulator
An accumulator for easy construction of gates with multiple inputs. |
class |
BooleanConstant
A boolean constant, true or false. |
class |
BooleanFormula
A non-constant boolean value with zero or more inputs. |
class |
BooleanVariable
Represents a boolean variable. |
class |
ITEGate
An if-then-else gate. |
class |
MultiGate
A logic gate with two or more inputs; an AND or an OR gate. |
class |
NotGate
A logic NOT gate. |
Methods in kodkod.engine.bool that return BooleanValue | |
---|---|
BooleanValue |
BooleanFactory.accumulate(BooleanAccumulator g)
Converts the given accumulator into an immutable boolean value and adds it to this.components. |
BooleanValue |
BooleanAccumulator.add(BooleanValue v)
Adds the given value to this.components and returns the result. |
BooleanValue |
BooleanFactory.and(BooleanValue v0,
BooleanValue v1)
Returns a boolean value whose meaning is the conjunction of the input components. |
abstract BooleanValue |
Int.bit(int i)
Returns the BooleanValue at the specified index. |
BooleanValue |
BooleanFactory.carry(BooleanValue v0,
BooleanValue v1,
BooleanValue cin)
Returns a boolean value whose meaning is the carry out bit of a full binary adder. |
BooleanValue |
BooleanMatrix.eq(BooleanMatrix other)
Returns a formula stating that the entries in this matrix are equivalent to the entries in the given matrix; i.e. |
BooleanValue |
Int.eq(Int other)
Returns a BooleanValue encoding the comparator circuit that checks whether the integer represented by this Int is equal to the integer represented by the specified Int. |
BooleanValue |
BooleanMatrix.get(int index)
Returns the element at the specified index. |
BooleanValue |
Int.gt(Int other)
Returns a BooleanValue encoding the comparator circuit that checks whether the integer represented by this Int is greater than the integer represented by the specified Int. |
BooleanValue |
Int.gte(Int other)
Returns a BooleanValue encoding the comparator circuit that checks whether the integer represented by this Int is greater than or equal to the integer represented by the specified Int. |
BooleanValue |
BooleanFactory.iff(BooleanValue v0,
BooleanValue v1)
Returns a boolean value whose meaning is [[v0]] <=> [[v1]]. |
BooleanValue |
BooleanFactory.implies(BooleanValue v0,
BooleanValue v1)
Returns a boolean value whose meaning is [[v0]] => [[v1]]. |
BooleanValue |
BooleanFactory.ite(BooleanValue i,
BooleanValue t,
BooleanValue e)
Returns a boolean value whose meaning is [[i]] ? [[t]] : [[e]]. |
BooleanValue |
BooleanMatrix.lone()
Returns a BooleanValue that constrains at most one value in this.elements to be true. |
BooleanValue |
Int.lt(Int other)
Returns a BooleanValue encoding the comparator circuit that checks whether the integer represented by this Int is less than the integer represented by the specified Int. |
abstract BooleanValue |
Int.lte(Int other)
Returns a BooleanValue encoding the comparator circuit that checks whether the integer represented by this Int is less than or equal to the integer represented by the specified Int |
BooleanValue |
BooleanMatrix.none()
Returns a BooleanValue that constraints all values in this.elements to be false. |
BooleanValue |
BooleanFactory.not(BooleanValue v)
Returns the negation of the given boolean value. |
BooleanValue |
BooleanMatrix.one()
Returns a BooleanValue that constraints exactly one value in this.elements to be true. |
BooleanValue |
BooleanFactory.or(BooleanValue v0,
BooleanValue v1)
Returns a boolean value whose meaning is the disjunction of the input components. |
BooleanValue |
BooleanMatrix.some()
Returns a BooleanValue that constrains at least one value in this.elements to be true. |
BooleanValue |
BooleanMatrix.subset(BooleanMatrix other)
Returns a formula stating that the entries in this matrix are a subset of the entries in the given matrix; i.e. |
BooleanValue |
BooleanFactory.sum(BooleanValue v0,
BooleanValue v1,
BooleanValue cin)
Returns a boolean value whose meaning is the sum bit of a full binary adder. |
BooleanValue |
BooleanFactory.xor(BooleanValue v0,
BooleanValue v1)
Returns a boolean value whose meaning is [[v0]] ^ [[v1]]. |
Methods in kodkod.engine.bool that return types with arguments of type BooleanValue | |
---|---|
java.util.Iterator<IndexedEntry<BooleanValue>> |
BooleanMatrix.iterator()
Returns an IndexedEntry-based view of the non-FALSE entries in this matrix. |
java.util.Iterator<BooleanValue> |
BooleanAccumulator.iterator()
Returns an iterator over this.components, in the increasing order of labels. |
Methods in kodkod.engine.bool with parameters of type BooleanValue | |
---|---|
BooleanValue |
BooleanAccumulator.add(BooleanValue v)
Adds the given value to this.components and returns the result. |
BooleanValue |
BooleanFactory.and(BooleanValue v0,
BooleanValue v1)
Returns a boolean value whose meaning is the conjunction of the input components. |
BooleanValue |
BooleanFactory.carry(BooleanValue v0,
BooleanValue v1,
BooleanValue cin)
Returns a boolean value whose meaning is the carry out bit of a full binary adder. |
BooleanMatrix |
BooleanMatrix.choice(BooleanValue condition,
BooleanMatrix other)
Returns a boolean matrix m such that m = this if the given condition evaluates to TRUE and m = other otherwise. |
abstract Int |
Int.choice(BooleanValue condition,
Int other)
Returns an Int that evaluates to this if the condition is true, otherwise it evaluates to the given Int. |
int |
BooleanValue.compareTo(BooleanValue other)
Boolean components are ordered according to their labels. |
boolean |
BooleanFactory.contains(BooleanValue v)
Returns true if v is in this.components. |
BooleanValue |
BooleanFactory.iff(BooleanValue v0,
BooleanValue v1)
Returns a boolean value whose meaning is [[v0]] <=> [[v1]]. |
BooleanValue |
BooleanFactory.implies(BooleanValue v0,
BooleanValue v1)
Returns a boolean value whose meaning is [[v0]] => [[v1]]. |
abstract Int |
BooleanFactory.integer(int number,
BooleanValue bit)
Returns an Int that represents 0 or the given number, depending on the value of the given bit. |
BooleanValue |
BooleanFactory.ite(BooleanValue i,
BooleanValue t,
BooleanValue e)
Returns a boolean value whose meaning is [[i]] ? [[t]] : [[e]]. |
BooleanValue |
BooleanFactory.not(BooleanValue v)
Returns the negation of the given boolean value. |
BooleanValue |
BooleanFactory.or(BooleanValue v0,
BooleanValue v1)
Returns a boolean value whose meaning is the disjunction of the input components. |
void |
BooleanMatrix.set(int index,
BooleanValue value)
Sets the specified index to the given value. |
BooleanValue |
BooleanFactory.sum(BooleanValue v0,
BooleanValue v1,
BooleanValue cin)
Returns a boolean value whose meaning is the sum bit of a full binary adder. |
static BooleanAccumulator |
BooleanAccumulator.treeGate(Operator.Nary op,
BooleanValue[] inputs)
Returns a tree based implementation of BooleanAccumulator, initialized with the given inputs. |
BooleanValue |
BooleanFactory.xor(BooleanValue v0,
BooleanValue v1)
Returns a boolean value whose meaning is [[v0]] ^ [[v1]]. |
Method parameters in kodkod.engine.bool with type arguments of type BooleanValue | |
---|---|
Int |
BooleanFactory.sum(java.util.Collection<BooleanValue> bits)
Returns an Int that represents the sum of all values in the given collection. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |