A B C D E F G H I K L M N O P Q R S T U V W X Z

D

decode - Variable in class ai.krr.propositions.IntEncoding

decode(int) - Method in class ai.krr.propositions.IntEncoding

This function can be used to decode the given integer, which must have been the result of a previous encoding.

domain - Variable in class ai.krr.fol.Interpretation

the domain of this Interpretation

doubleValue() - Method in class ai.krr.IntegerSymbol

This function returns the value of this IntegerSymbol as a Java double.

doubleValue() - Method in class ai.krr.NumericSymbol

This function returns the value of this NumericSymbol as a Java double.

doubleValue() - Method in class ai.krr.RealNumberSymbol

This function returns the value of this RealNumberSymbol as a Java double.

DPSolverIE - Class in ai.krr.propositions

DPSolverIE() - Constructor for class ai.krr.propositions.DPSolverIE

This constructor creates a new TheoremProver that uses the method of Davis and Putnam to find a model for a set of propositional Clauses.