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.
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.
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.
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.