A B C D E F G H I J L M N O P R S T U V

P

peekUnsafeRisUsageWarning() - Static method in class jsetl.Solver

Tells whether the warning flag is true or not but does not change its value.

pfun() - Method in class jsetl.LMap

This method creates the "pfun" constraint, which is satisfied if and only if this represents a partial function.

printElems(char) - Method in class jsetl.LCollection

Prints all elements of this LCollection.

printElems(char) - Method in class jsetl.LSet

Prints all the (known) elements of this logical set to standard output.

printElems(char) - Method in class jsetl.Ris

Calling this method is the same as calling this.expand().getSize(delimiter).

A B C D E F G H I J L M N O P R S T U V