| Package | Description |
|---|---|
| org.jpc.converter.catalog | |
| org.jpc.term | |
| org.jpc.term.compiler |
Classes in this package are used internally by the embedded Prolog engine.
|
| org.jpc.term.visitor | |
| org.jpc.util.salt |
| Modifier and Type | Method and Description |
|---|---|
T |
VarConverter.fromTerm(AbstractVar term,
Type type,
Jpc context) |
| Modifier and Type | Class and Description |
|---|---|
class |
Var
A class reifying a logic variable
Disclaimer: Some methods were inspired or taken from the JPL library
|
| Modifier and Type | Method and Description |
|---|---|
List<AbstractVar> |
Term.getNamedVariables()
Returns a list with all the named variables (i.e., all variables but "_")
|
List<AbstractVar> |
Term.getNonUnderscoreVariables() |
List<AbstractVar> |
Term.getVariables() |
| Modifier and Type | Method and Description |
|---|---|
static List<String> |
AbstractVar.getVariableNames(List<AbstractVar> vars) |
| Modifier and Type | Class and Description |
|---|---|
class |
BindableVar |
class |
CompiledVar |
| Modifier and Type | Method and Description |
|---|---|
AbstractVar |
BindableVar.getVar() |
| Modifier and Type | Method and Description |
|---|---|
BindableVar |
Environment.compileForFrame(AbstractVar var) |
| Modifier and Type | Method and Description |
|---|---|
void |
TermVisitor.visitVariable(AbstractVar variable) |
void |
DefaultTermVisitor.visitVariable(AbstractVar term) |
| Modifier and Type | Method and Description |
|---|---|
List<AbstractVar> |
VariablesCollectorHandler.getVariables() |
| Modifier and Type | Method and Description |
|---|---|
void |
VariablesCollectorHandler.visitVariable(AbstractVar var) |
Copyright © 2014. All rights reserved.