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.