Uses of Class
kodkod.engine.bool.BooleanValue

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.