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

V

valueOf(String) - Static method in enum ai.krr.fol.ConnectedSentence.Connective

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum ai.krr.fol.QuantifiedSentence.Quantifier

Returns the enum constant of this type with the specified name.

valueOf(String) - Static method in enum ai.krr.propositions.ConnectedSentence.Connective

Returns the enum constant of this type with the specified name.

values() - Static method in enum ai.krr.fol.ConnectedSentence.Connective

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum ai.krr.fol.QuantifiedSentence.Quantifier

Returns an array containing the constants of this enum type, in the order they are declared.

values() - Static method in enum ai.krr.propositions.ConnectedSentence.Connective

Returns an array containing the constants of this enum type, in the order they are declared.

values - Variable in class ai.krr.propositions.Interpretation

the Map contained in this Interpretation

Variable - Class in ai.krr.fol

This class implements symbolic variables in Java.

Variable(String) - Constructor for class ai.krr.fol.Variable

It is possible to create Variables directly with this constructor.

VariableRenaming - Class in ai.krr.fol

A VariableRenaming maps a set of Variables to a set of Variables.

VariableRenaming() - Constructor for class ai.krr.fol.VariableRenaming

VariableRenaming(Variable...) - Constructor for class ai.krr.fol.VariableRenaming

VariableRenaming(Collection<Variable>) - Constructor for class ai.krr.fol.VariableRenaming

variables - Variable in class ai.krr.fol.QuantifiedSentence

the Variables that are bound