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 constructingTermobjects 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.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 java.util.Map<java.lang.String,Variable>QueryStatement. EMPTY_VARIABLESprivate java.util.Map<java.lang.String,Variable>QueryResult. variablesprivate java.util.Map<java.lang.String,Variable>QueryStatement. variablesConstructor parameters in org.projog.api with type arguments of type Variable Constructor Description QueryResult(PredicateFactory predicateFactory, Term query, java.util.Map<java.lang.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 java.util.HashMap<java.lang.String,Variable>SentenceParser. variablesA collection ofVariables this parser currently knows about (key = the variable name).Methods in org.projog.core.parser that return Variable Modifier and Type Method Description private VariableSentenceParser. getNamedVariable(java.lang.String id)private VariableSentenceParser. getVariable(java.lang.String id)Returns a variable with the specified id.Methods in org.projog.core.parser that return types with arguments of type Variable Modifier and Type Method Description java.util.Map<java.lang.String,Variable>SentenceParser. getParsedTermVariables()Returns collection ofVariableinstances created by thisSentenceParser. -
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 ClpVariableClpVariable. copy(java.util.Map<Variable,Variable> sharedVariables)ClpVariableClpVariable. copy(java.util.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 java.util.List<Variable>AbstractCollectionOf. variablesNotInTemplateMethods in org.projog.core.predicate.builtin.compound that return types with arguments of type Variable Modifier and Type Method Description private java.util.List<Variable>AbstractCollectionOf. getVariablesNotInTemplate(Term template, Term goal)Constructor parameters in org.projog.core.predicate.builtin.compound with type arguments of type Variable Constructor Description Key(java.util.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 java.util.List<Variable>Fold.Retryable. accumulators -
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 java.util.Set<Variable>TermUtils. getAllVariablesInTerm(Term argument)Returns allVariables contained in the specified term.Method parameters in org.projog.core.term with type arguments of type Variable Modifier and Type Method Description AtomAtom. copy(java.util.Map<Variable,Variable> sharedVariables)AtomAtom. copy(java.util.Map<Variable,Variable> sharedVariables)DecimalFractionDecimalFraction. copy(java.util.Map<Variable,Variable> sharedVariables)DecimalFractionDecimalFraction. copy(java.util.Map<Variable,Variable> sharedVariables)TermEmptyList. copy(java.util.Map<Variable,Variable> sharedVariables)TermEmptyList. copy(java.util.Map<Variable,Variable> sharedVariables)IntegerNumberIntegerNumber. copy(java.util.Map<Variable,Variable> sharedVariables)IntegerNumberIntegerNumber. copy(java.util.Map<Variable,Variable> sharedVariables)ListList. copy(java.util.Map<Variable,Variable> sharedVariables)ListList. copy(java.util.Map<Variable,Variable> sharedVariables)StructureStructure. copy(java.util.Map<Variable,Variable> sharedVariables)StructureStructure. copy(java.util.Map<Variable,Variable> sharedVariables)TermTerm. copy(java.util.Map<Variable,Variable> sharedVariables)Returns a copy of this term.TermTerm. copy(java.util.Map<Variable,Variable> sharedVariables)Returns a copy of this term.TermVariable. copy(java.util.Map<Variable,Variable> sharedVariables)TermVariable. copy(java.util.Map<Variable,Variable> sharedVariables)private static voidTermUtils. getAllVariablesInTerm(Term argument, java.util.Set<Variable> variables)
-