This constructor creates a SyntaxAdaptor that can be used to read
statements in a (propositional) KIF syntax and create a propositional
Sentence for it, or it can be used to write out a propositional Sentence
in KIF syntax.
This constructor creates a SyntaxAdaptor that can be used to read
statements in a (propositional) KIF syntax and create a propositional
Sentence for it, or it can be used to write out a propositional Sentence
in KIF syntax.
This constructor creates a SyntaxAdaptor that can be used to read
statements in a (propositional) KIF syntax and create a propositional
Sentence for it, or it can be used to write out a propositional Sentence
in KIF syntax.
This class is an adaptor between the ai.planning.propositional.Domain class
that can be used as an internal representation for planning domains and its
external form as defined by the PPL (Propositional Planning Language) syntax
as described below.
This constructor creates a SyntaxAdaptor that can be used to read
propositional planning domains and create a propositional Domain for it,
or it can be used to write out a propositional Domain in the PPL syntax.
This class is an adaptor between the ai.planning.propositional.Problem class
that can be used as an internal representation for planning problems and its
external form as defined by the PPL (Propositional Planning Language) syntax
as described below.
This constructor creates a SyntaxAdaptor that can be used to read
propositional planning problems in the PPL syntax and create a
propositional Problem for it, or it can be used to write out a
propositional Problem in the PPL syntax.
This class is an adaptor between the ai.planning.propositional.SequentialPlan
class that can be used as an internal representation for plans and its
external form as defined by the PPL (Propositional Planning Language) syntax
as described below.
This constructor creates a SyntaxAdaptor that can be used to read
a propositional sequential plan in the PPL syntax and create a
SequentialPlan for it, or it can be used to write out a SequentialPlan in
the PPL syntax.
This function takes a propositional Domain which is a Java Object in the
internal representation, and writes it to the given Writer as a string
conforming to the PPL syntax.
This function takes a Problem which is a Java Object in the internal
representation, and writes it to the given Writer as a string conforming
to the PPL syntax.
This function takes a SequentialPlan which is a Java Object in the internal
representation, and writes it to the given Writer as a string conforming
to the PPL syntax.
This function takes a logical Sentence which is a Java Object in the
internal representation, and writes it to the given Writer as a string
conforming to the KIF syntax.
This function takes a logical Sentence which is a Java Object in the
internal representation, and writes it to the given Writer as a string
conforming to the KIF syntax.
This function takes a logical Sentence which is a Java Object in the
internal representation, and writes it to the given Writer as a string
conforming to the KIF syntax.