Package | Description |
---|---|
alice.tuprolog |
Modifier and Type | Method and Description |
---|---|
OperatorManager |
Prolog.getOperatorManager()
Gets the component managing operators
|
Modifier and Type | Method and Description |
---|---|
static Term |
Term.createTerm(java.lang.String st,
OperatorManager op)
Static service to create a Term from a string, providing an
external operator manager.
|
static Term |
Term.parse(java.lang.String st,
OperatorManager op)
Deprecated.
Use
Term.createTerm(String, OperatorManager) instead. |
static Term |
Parser.parseSingleTerm(java.lang.String st,
OperatorManager op)
Static service to get a term from its string representation,
providing a specific operator manager
|
java.lang.String |
ClauseInfo.toString(OperatorManager op)
Gets the string representation
recognizing operators stored by
the operator manager
|
Constructor and Description |
---|
Parser(OperatorManager op,
java.io.InputStream theoryText)
creating a Parser specifing how to handle operators
and what text to parse
|
Parser(OperatorManager op,
java.lang.String theoryText)
creating a Parser specifing how to handle operators
and what text to parse
|
Parser(OperatorManager op,
java.lang.String theoryText,
java.util.HashMap<Term,java.lang.Integer> mapping)
creating a Parser specifing how to handle operators
and what text to parse
|