- partialFunction(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.
- partition(Bounds) - Static method in class kodkod.engine.fol2sat.SymmetryDetector
-
Returns the coarsest sound partition of bounds.universe into symmetry classes.
- peek() - Method in class kodkod.util.collections.ArrayStack
-
- peek() - Method in class kodkod.util.collections.LinkedStack
-
Looks at the object at the top of this stack without removing it from the stack.
- peek() - Method in class kodkod.util.collections.Stack
-
Looks at the object at the top of this stack without removing it from the stack.
- plingeling() - Static method in class kodkod.engine.satlab.SATFactory
-
Returns a SATFactory that produces SATSolver wrappers for Armin Biere's Plingeling
solver.
- plingeling(Integer, Boolean) - Static method in class kodkod.engine.satlab.SATFactory
-
Returns a SATFactory that produces SATSolver wrappers for Armin Biere's Plingeling
solver.
- plus(IntExpression) - Method in class kodkod.ast.IntExpression
-
Returns an IntExpression that represents the sum of this and
the given int node.
- plus(IntExpression...) - Static method in class kodkod.ast.IntExpression
-
Returns the sum of the given int expressions.
- plus(Collection<? extends IntExpression>) - Static method in class kodkod.ast.IntExpression
-
Returns the plus of the given int expressions.
- plus(Int) - Method in class kodkod.engine.bool.Int
-
Returns an Int that represents the sum of this and the given Int.
- plus(Int...) - Method in class kodkod.engine.bool.Int
-
Returns an Int that represents the sum of this and the given Ints.
- pop() - Method in class kodkod.util.collections.ArrayStack
-
- pop() - Method in class kodkod.util.collections.LinkedStack
-
Removes the object at the top of this stack and returns that object as the value of this function.
- pop() - Method in class kodkod.util.collections.Stack
-
Removes the object at the top of this stack and returns that object as the value of this function.
- predicates() - Method in class kodkod.util.nodes.AnnotatedNode
-
Returns a map of RelationPredicate names to sets of top-level relation predicates with
the corresponding names in this.node.
- PrettyPrinter - Class in kodkod.util.nodes
-
Pretty-prints Kodkod nodes.
- PrettyPrinter() - Constructor for class kodkod.util.nodes.PrettyPrinter
-
- primaryVariables(Relation) - Method in class kodkod.engine.fol2sat.Translation.Incremental
-
Returns the set of primary variables that represent
the tuples in the given relation.
- primaryVariables(Relation) - Method in class kodkod.engine.fol2sat.Translation
-
Returns the set of primary variables that represent
the tuples in the given relation.
- primaryVariables(Relation) - Method in class kodkod.engine.fol2sat.Translation.Whole
-
Returns the set of primary variables that represent
the tuples in the given relation.
- primaryVariables() - Method in class kodkod.engine.Statistics
-
Returns the number of primary variables
used in the encoding of this.formula; i.e.
- print(Node, int, int) - Static method in class kodkod.util.nodes.PrettyPrinter
-
Returns a pretty-printed string representation of the
given node, with each line offset by at least the given
number of whitespaces.
- print(Node, int) - Static method in class kodkod.util.nodes.PrettyPrinter
-
Returns a pretty-printed string representation of the
given node, with each line offset by at least the given
number of whitespaces.
- print(Set<Formula>, int) - Static method in class kodkod.util.nodes.PrettyPrinter
-
Returns a pretty-printed string representation of the
given formulas, with each line offset by at least the given
number of whitespaces.
- print(Set<Formula>, int, int) - Static method in class kodkod.util.nodes.PrettyPrinter
-
Returns a pretty-printed string representation of the
given formulas, with each line offset by at least the given
number of whitespaces.
- product(Expression) - Method in class kodkod.ast.Expression
-
Returns the product of this and the specified expression.
- product(Expression...) - Static method in class kodkod.ast.Expression
-
Returns the product of the given expressions.
- product(Collection<? extends Expression>) - Static method in class kodkod.ast.Expression
-
Returns the product of the given expressions.
- product(Tuple) - Method in class kodkod.instance.Tuple
-
Returns the cross product of this and the specified tuple.
- product(TupleSet) - Method in class kodkod.instance.TupleSet
-
Returns a tuple set that is the cross product of this and the
specified set.
- project(IntExpression...) - Method in class kodkod.ast.Expression
-
Returns the projection of this expression onto the specified columns.
- project(Int[]) - Method in class kodkod.engine.bool.BooleanMatrix
-
Returns a matrix m such that the relational value of m is equal to the
relational value of this projected on the specified columns.
- project(int) - Method in class kodkod.instance.TupleSet
-
Projects this TupleSet onto the given dimension.
- ProjectExpression - Class in kodkod.ast
-
A general projection expression.
- Proof - Class in kodkod.engine
-
Contains a proof of unsatisfiability of a
given FOL formula.
- proof() - Method in interface kodkod.engine.satlab.SATProver
-
Returns a resolution-based proof of unsatisfiability of this.clauses.
- proof() - Method in class kodkod.engine.Solution
-
Returns a proof of this.formula's unsatisfiability if the value
returned by
this.outcome() is UNSATISFIABLE or
TRIVIALLY_UNSATISFIABLE, translation logging was enabled during solving,
and a core extracting
sat solver (if any)
was used to determine unsatisfiability.
- prover() - Method in class kodkod.engine.satlab.SATFactory
-
Returns true if the solvers returned by this.instance() are
SATProvers.
- push(T) - Method in class kodkod.util.collections.ArrayStack
-
Pushes an item onto the top of this stack and returns it.
- push(T) - Method in class kodkod.util.collections.LinkedStack
-
Pushes an item onto the top of this stack and returns it.
- push(T) - Method in class kodkod.util.collections.Stack
-
Pushes an item onto the top of this stack and returns it.
- put(K, V) - Method in class kodkod.util.collections.FixedMap
-
Associates the specified value with the specified key in this fixed
map.
- put(int, V) - Method in class kodkod.util.ints.AbstractSparseSequence
-
Throws an UnsupportedOperationException.
- put(int, V) - Method in class kodkod.util.ints.ArraySequence
-
Puts the given value at the specified index.
- put(int, V) - Method in class kodkod.util.ints.HomogenousSequence
-
Puts the given value at the specified index.
- put(int, V) - Method in class kodkod.util.ints.RangeSequence
-
Throws an UnsupportedOperationException.
- put(int, V) - Method in interface kodkod.util.ints.SparseSequence
-
Puts the given value at the specified index.
- put(int, V) - Method in class kodkod.util.ints.TreeSequence
-
Throws an UnsupportedOperationException.
- putAll(SparseSequence<? extends V>) - Method in class kodkod.util.ints.AbstractSparseSequence
-
Copies all of the entries from the specified sparse sequence to
this sequence.
- putAll(SparseSequence<? extends V>) - Method in interface kodkod.util.ints.SparseSequence
-
Copies all of the entries from the specified sparse sequence to
this sequence.