Package | Description |
---|---|
alice.tuprologx.pj.engine | |
alice.tuprologx.pj.meta | |
alice.tuprologx.pj.model |
Modifier and Type | Field and Description |
---|---|
protected Theory |
TheoryFilter._filter |
protected Theory |
TheoryFilter._theory |
Modifier and Type | Method and Description |
---|---|
Theory |
TheoryFilter.apply() |
Theory |
PrologObject.getTheory() |
Theory |
PJProlog.getTheory() |
Modifier and Type | Method and Description |
---|---|
void |
PJProlog.addTheory(Theory theory) |
static <T> T |
PJ.newInstance(Class<?> cl,
Theory init) |
void |
PrologObject.setTheory(Theory t) |
void |
PJProlog.setTheory(Theory theory) |
Constructor and Description |
---|
TheoryFilter(Theory theory,
String filter) |
TheoryFilter(Theory theory,
Theory filter)
Creates a new instance of TheoryFilter
|
Modifier and Type | Method and Description |
---|---|
Theory |
PrologMetaMethod.getTheory() |
Theory |
PrologMetaField.getTheory() |
Theory |
PrologMetaClass.getTheory() |
Modifier and Type | Method and Description |
---|---|
void |
PrologMetaMethod.setTheory(Theory t) |
void |
PrologMetaClass.setTheory(Theory t) |
Modifier and Type | Method and Description |
---|---|
static Theory |
Theory.unmarshal(Theory t) |
Modifier and Type | Method and Description |
---|---|
void |
Theory.appendTheory(Theory that) |