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

X

XfolSentenceAdaptor - Class in ai.krr.fol

This class is an adaptor between the ai.krr.propositions.Sentence class that can be used as an internal representation for reasoning and its external form in an XML Syntax.

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

This constructor creates a SyntaxAdaptor that can be used to read statements in an XML syntax for propositional logic (XFOL) and create a propositional Sentence for it, or it can be used to write out a propositional Sentence in XFOL syntax.

XplSentenceAdaptor - Class in ai.krr.propositions

This class is an adaptor between the ai.krr.propositions.Sentence class that can be used as an internal representation for reasoning and its external form in an XML Syntax.

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

This constructor creates a SyntaxAdaptor that can be used to read statements in an XML syntax for propositional logic (XPL) and create a propositional Sentence for it, or it can be used to write out a propositional Sentence in XPL syntax.