Package | Description |
---|---|
alice.tuprolog | |
alice.tuprolog.interfaces |
Modifier and Type | Class and Description |
---|---|
class |
OperatorManager
This class manages Prolog operators.
|
Modifier and Type | Method and Description |
---|---|
IOperatorManager |
OperatorManager.clone() |
Modifier and Type | Method and Description |
---|---|
IOperatorManager |
IOperatorManager.clone() |
IOperatorManager |
IProlog.getOperatorManager()
Gets the component managing operators
|
Modifier and Type | Method and Description |
---|---|
static IParser |
ParserFactory.createParser(IOperatorManager op,
String theory)
creating a Parser specifing how to handle operators
and what text to parse
|
static IParser |
ParserFactory.createParser(IOperatorManager op,
String theory,
HashMap<Term,Integer> mapping)
creating a Parser specifing how to handle operators
and what text to parse
|