Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Z
F
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.
flatten()
- Method in class kodkod.engine.config.
Options
Returns the value of the flattening flag, which specifies whether to eliminate extraneous intermediate variables.
flattening(BooleanFormula)
- Method in class kodkod.engine.config.
AbstractReporter
flattening(BooleanFormula)
- Method in class kodkod.engine.config.
ConsoleReporter
flattening(BooleanFormula)
- Method in interface kodkod.engine.config.
Reporter
Reports that the stage 5 of the analysis is being performed on the given boolean formula.
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.
formula()
- Method in class kodkod.engine.fol2sat.
TranslationLog
Returns this.formula.
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 interface kodkod.engine.satlab.
SATSolver
Frees the memory used by this solver.
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.
functional(Expression, Expression)
- Method in class kodkod.ast.
Relation
Returns a formula stating that this relation is a partial function with the specified domain and range.
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Z