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

P

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.
plus(IntExpression) - Method in class kodkod.ast.IntExpression
Returns an IntExpression that represents the sum of this and the given int node.
plus(Int) - Method in class kodkod.engine.bool.Int
Returns an Int that represents the sum of this and the given Int.
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.
primaryVariables(Relation) - Method in class kodkod.engine.fol2sat.Translation
Returns the set of primary variable literals 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.
product(Expression) - Method in class kodkod.ast.Expression
Returns the product of this and the specified expression.
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.

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