- factory(int, Options) - Static method in class kodkod.engine.bool.BooleanFactory
-
Returns a boolean factory, initialized to contain the given number
of boolean variables.
- factory() - Method in class kodkod.engine.bool.BooleanMatrix
-
Returns the factory used to construct all the non-constant
entries in this matrix.
- factory() - Method in class kodkod.engine.bool.Int
-
Returns this.factory
- factory() - Method in class kodkod.instance.Universe
-
Returns a TupleFactory that can be used to construct tuples and sets
of tuples based on this universe.
- FALSE - Static variable in class kodkod.ast.Formula
-
Constant formula false
- FALSE - Static variable in class kodkod.engine.bool.BooleanConstant
-
- first() - Method in class kodkod.ast.RelationPredicate.TotalOrdering
-
Returns the relation representing the first element
in the ordering imposed by this.relation.
- first() - Method in class kodkod.util.ints.AbstractSparseSequence
-
Returns the first element in this sequence, if any.
- first() - Method in class kodkod.util.ints.ArraySequence
-
Returns the entry with the smallest index.
- first() - Method in class kodkod.util.ints.HomogenousSequence
-
Returns the entry with the smallest index.
- first() - Method in class kodkod.util.ints.RangeSequence
-
Returns the first element in this sequence, if any.
- first() - Method in interface kodkod.util.ints.SparseSequence
-
Returns the entry with the smallest index.
- first() - Method in class kodkod.util.ints.TreeSequence
-
Returns the first element in this sequence, if any.
- FixedMap<K,V> - Class in kodkod.util.collections
-
A map with a fixed set of keys that acts as an indexer, assigning a
unique integer in the range [0..#keys) to each key.
- FixedMap(Map<K, V>) - Constructor for class kodkod.util.collections.FixedMap
-
Constructs a new fixed map from the given map.
- FixedMap(Set<K>) - Constructor for class kodkod.util.collections.FixedMap
-
Constructs a new fixed map for the given set of keys.
- FixedMap(K[]) - Constructor for class kodkod.util.collections.FixedMap
-
Constructs a new fixed map, backed by the given array of keys.
- floor(int) - Method in class kodkod.util.ints.AbstractSparseSequence
-
Returns the entry whose index is the floor of the given index in this sequence.
- floor(int) - Method in class kodkod.util.ints.ArrayIntSet
-
- floor(int) - Method in class kodkod.util.ints.ArraySequence
-
If an entry for the given index exists, it is returned.
- floor(int) - Method in class kodkod.util.ints.HomogenousSequence
-
If an entry for the given index exists, it is returned.
- floor(int) - Method in class kodkod.util.ints.IntBitSet
-
Returns the largest element in this set that
is smaller than or equal to i.
- floor(int) - Method in interface kodkod.util.ints.IntSet
-
Returns the largest element in this set that
is smaller than or equal to i.
- floor(int) - Method in class kodkod.util.ints.IntTreeSet
-
Returns the largest element in this set that
is smaller than or equal to i.
- floor(int) - Method in class kodkod.util.ints.RangeSequence
-
Returns the entry whose index is the floor of the given index in this sequence.
- floor(int) - Method in interface kodkod.util.ints.SparseSequence
-
If an entry for the given index exists, it is returned.
- floor(int) - Method in class kodkod.util.ints.TreeSequence
-
Returns the entry whose index is the floor of the given index in this sequence.
- forAll(Decls) - Method in class kodkod.ast.Formula
-
Returns a formula that represents a universal quantification of this
formula over the given declarations.
- formula() - Method in class kodkod.ast.Comprehension
-
- Formula - Class in kodkod.ast
-
A first-order formula.
- formula() - Method in class kodkod.ast.NotFormula
-
Returns this.formula.
- formula() - Method in class kodkod.ast.QuantifiedFormula
-
Returns this.formula.
- FormulaOperator - Enum in kodkod.ast.operator
-
Enumerates binary (&&, ||, =>, <=>) and nary (&&, ||) logical operators.
- forSome(Decls) - Method in class kodkod.ast.Formula
-
Returns a formula that represents an existential quantification of this
formula over the given declarations.
- free() - Method in class kodkod.engine.IncrementalSolver
-
Releases the resources, if any, associated with this solver.
- free() - Method in interface kodkod.engine.KodkodSolver
-
Releases the resources, if any, associated with this solver.
- free() - Method in interface kodkod.engine.satlab.SATSolver
-
Frees the memory used by this solver.
- free() - Method in class kodkod.engine.Solver
-
Releases the resources, if any, associated with this solver.
- freeVariableDetector() - Method in class kodkod.util.nodes.AnnotatedNode
-
Returns a Detector that will return TRUE when applied to a descendent
of this.node iff the descendent contains a free variable.
- function(Expression, Expression) - Method in class kodkod.ast.Relation
-
Returns a formula stating that this relation is a total function
with the specified domain and range.