- generatingSBP() - Method in class kodkod.engine.config.AbstractReporter
-
- generatingSBP() - Method in class kodkod.engine.config.ConsoleReporter
-
- generatingSBP() - Method in interface kodkod.engine.config.Reporter
-
Reports that the analysis is in stage 4.
- get(int) - Method in class kodkod.ast.Decls
-
Returns the ith declaration in this Decls sequence.
- get(int) - Method in class kodkod.engine.bool.BooleanMatrix
-
Returns the element at the specified index.
- get(int) - Method in interface kodkod.engine.satlab.ResolutionTrace
-
Returns the clause at the given index.
- get(int) - Method in class kodkod.util.collections.CacheSet
-
Returns an iterator over the elements
whose hashcode() method returns the given hash.
- get(Object) - Method in class kodkod.util.collections.FixedMap
-
Returns the value to which the specified key is mapped in this fixed map,
or null if the map contains no mapping for
this key.
- get(int) - Method in class kodkod.util.collections.FixedMap
-
Returns the value to which the key at the specified index is mapped in this fixed map.
- get(int) - Method in class kodkod.util.ints.ArrayIntVector
-
Returns the element at the specified position in this vector.
- get(int) - Method in class kodkod.util.ints.ArraySequence
-
Returns the value to which this sequence maps the given
index.
- get(int) - Method in class kodkod.util.ints.HomogenousSequence
-
Returns the value to which this sequence maps the given
index.
- get(int) - Method in interface kodkod.util.ints.IntVector
-
Returns the element at the specified position in this vector.
- get(int) - Method in class kodkod.util.ints.RangeSequence
-
Returns the value to which this sequence maps the given
index.
- get(int) - Method in interface kodkod.util.ints.SparseSequence
-
Returns the value to which this sequence maps the given
index.
- get(int) - Method in class kodkod.util.ints.TreeSequence
-
Returns the value to which this sequence maps the given
index.
- Glucose - Static variable in class kodkod.engine.satlab.SATFactory
-
The factory that produces instances of Gilles Audemard and Laurent Simon's
Glucose solver.
- gt(IntExpression) - Method in class kodkod.ast.IntExpression
-
Returns a formula stating that the value of this int expression is greater than the
value of the given int expression The effect
of this method is the same as calling this.compare(GT, intExpr).
- gt(Int) - Method in class kodkod.engine.bool.Int
-
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.
- gte(IntExpression) - Method in class kodkod.ast.IntExpression
-
Returns a formula stating that the value of this int expression is greater than
or equal to the value of the given int expression The effect
of this method is the same as calling this.compare(GTE, intExpr).
- gte(Int) - Method in class kodkod.engine.bool.Int
-
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.