Uses of Class
org.projog.core.term.Variable

Packages that use Variable

Package	Description
org.projog.api	Provides a programming interface for Java applications to interact with Projog.
org.projog.core.parser	Provides classes for constructing Term objects from Prolog syntax.
org.projog.core.predicate.builtin.clp	Predicates to support constraint logic programming.
org.projog.core.predicate.builtin.compound	Predicates for the construction of compound/complex sentences.
org.projog.core.predicate.builtin.kb	Predicates for inspecting, adding and retracting clauses.
org.projog.core.predicate.builtin.list	Predicates for working with list data structures.
org.projog.core.predicate.builtin.reif
org.projog.core.term	Contains the building blocks used to construct Prolog programs and queries.

Uses of Variable in org.projog.api

Fields in org.projog.api with type parameters of type Variable

Modifier and Type	Field	Description
private static final Map<String,Variable>	QueryStatement.EMPTY_VARIABLES
private final Map<String,Variable>	QueryResult.variables
private final Map<String,Variable>	QueryStatement.variables

Constructor parameters in org.projog.api with type arguments of type Variable

Modifier	Constructor	Description
(package private)	QueryResult(PredicateFactory predicateFactory, Term query, Map<String,Variable> variables)	Evaluates a query.

Uses of Variable in org.projog.core.parser

Fields in org.projog.core.parser with type parameters of type Variable

Modifier and Type	Field	Description
private final HashMap<String,Variable>	SentenceParser.variables	A collection of Variables this parser currently knows about (key = the variable name).

Methods in org.projog.core.parser that return Variable

Modifier and Type	Method	Description
private Variable	SentenceParser.getOrCreateVariable(String id)

Methods in org.projog.core.parser that return types with arguments of type Variable

Modifier and Type	Method	Description
Map<String,Variable>	SentenceParser.getParsedTermVariables()	Returns collection of Variable instances created by this SentenceParser.

Uses of Variable in org.projog.core.predicate.builtin.clp

Method parameters in org.projog.core.predicate.builtin.clp with type arguments of type Variable

Modifier and Type	Method	Description
ClpVariable	ClpVariable.copy(Map<Variable,Variable> sharedVariables)
ClpVariable	ClpVariable.copy(Map<Variable,Variable> sharedVariables)

Uses of Variable in org.projog.core.predicate.builtin.compound

Fields in org.projog.core.predicate.builtin.compound with type parameters of type Variable

Modifier and Type	Field	Description
private List<Variable>	AbstractCollectionOf.variablesNotInTemplate

Methods in org.projog.core.predicate.builtin.compound that return types with arguments of type Variable

Modifier and Type	Method	Description
private List<Variable>	AbstractCollectionOf.getVariablesNotInTemplate(Term template, Term goal)

Constructor parameters in org.projog.core.predicate.builtin.compound with type arguments of type Variable

Modifier	Constructor	Description
(package private)	Key(List<Variable> variables)

Uses of Variable in org.projog.core.predicate.builtin.kb

Methods in org.projog.core.predicate.builtin.kb with parameters of type Variable

Modifier and Type	Method	Description
private Term[]	AddUserDefinedArithmeticOperator.UserDefinedArithmeticOperator.createArgumentsIncludingResult(Term[] args, Variable result)

Uses of Variable in org.projog.core.predicate.builtin.list

Fields in org.projog.core.predicate.builtin.list with type parameters of type Variable

Modifier and Type	Field	Description
private final List<Variable>	Fold.Retryable.accumulators

Uses of Variable in org.projog.core.predicate.builtin.reif

Classes in org.projog.core.predicate.builtin.reif that implement interfaces with type arguments of type Variable

Modifier and Type	Class	Description
private static final class	Dif.MyMap
private static final class	Dif.MyMap

Fields in org.projog.core.predicate.builtin.reif with type parameters of type Variable

Modifier and Type	Field	Description
(package private) Set<Variable>	Dif.MyMap.variables

Methods in org.projog.core.predicate.builtin.reif that return Variable

Modifier and Type	Method	Description
Variable	Dif.MyMap.get(Object key)
Variable	Dif.MyMap.put(Variable key, Variable value)
Variable	Dif.MyMap.remove(Object key)

Methods in org.projog.core.predicate.builtin.reif that return types with arguments of type Variable

Modifier and Type	Method	Description
Set<Map.Entry<Variable,Variable>>	Dif.MyMap.entrySet()
Set<Map.Entry<Variable,Variable>>	Dif.MyMap.entrySet()
Set<Variable>	Dif.MyMap.keySet()
Collection<Variable>	Dif.MyMap.values()

Methods in org.projog.core.predicate.builtin.reif with parameters of type Variable

Modifier and Type	Method	Description
private static void	Dif.appendAttribute(Variable v, Term attributeElement)
boolean	Dif.DifVariableAttribute.postUnify(Variable variable, Term input)
Variable	Dif.MyMap.put(Variable key, Variable value)

Method parameters in org.projog.core.predicate.builtin.reif with type arguments of type Variable

Modifier and Type	Method	Description
void	Dif.MyMap.putAll(Map<? extends Variable, ? extends Variable> m)
void	Dif.MyMap.putAll(Map<? extends Variable, ? extends Variable> m)

Uses of Variable in org.projog.core.term

Methods in org.projog.core.term that return types with arguments of type Variable

Modifier and Type	Method	Description
static Set<Variable>	TermUtils.getAllVariablesInTerm(Term argument)	Returns all Variables contained in the specified term.

Methods in org.projog.core.term with parameters of type Variable

Modifier and Type	Method	Description
boolean	VariableAttribute.postUnify(Variable variable, Term attributeValue)
private static boolean	Variable.unifyVariablesWithAttributes(Variable v1, Variable v2)	Unify two variables that both have attributes.

Method parameters in org.projog.core.term with type arguments of type Variable

Modifier and Type	Method	Description
Atom	Atom.copy(Map<Variable,Variable> sharedVariables)
Atom	Atom.copy(Map<Variable,Variable> sharedVariables)
DecimalFraction	DecimalFraction.copy(Map<Variable,Variable> sharedVariables)
DecimalFraction	DecimalFraction.copy(Map<Variable,Variable> sharedVariables)
Term	EmptyList.copy(Map<Variable,Variable> sharedVariables)
Term	EmptyList.copy(Map<Variable,Variable> sharedVariables)
IntegerNumber	IntegerNumber.copy(Map<Variable,Variable> sharedVariables)
IntegerNumber	IntegerNumber.copy(Map<Variable,Variable> sharedVariables)
List	List.copy(Map<Variable,Variable> sharedVariables)
List	List.copy(Map<Variable,Variable> sharedVariables)
Structure	Structure.copy(Map<Variable,Variable> sharedVariables)
Structure	Structure.copy(Map<Variable,Variable> sharedVariables)
Term	Term.copy(Map<Variable,Variable> sharedVariables)	Returns a copy of this term.
Term	Term.copy(Map<Variable,Variable> sharedVariables)	Returns a copy of this term.
Term	Variable.copy(Map<Variable,Variable> sharedVariables)
Term	Variable.copy(Map<Variable,Variable> sharedVariables)
private static void	TermUtils.getAllVariablesInTerm(Term argument, Set<Variable> variables)