|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Variable | |
---|---|
nars.language | Term hierarchy in Narsese |
Uses of Variable in nars.language |
---|
Fields in nars.language with type parameters of type Variable | |
---|---|
protected java.util.ArrayList<Variable> |
CompoundTerm.openVariables
list of open variables in the compound |
Methods in nars.language that return types with arguments of type Variable | |
---|---|
java.util.ArrayList<Variable> |
CompoundTerm.getOpenVariables()
get the OpenVariables list |
Methods in nars.language with parameters of type Variable | |
---|---|
private static java.util.HashMap<java.lang.String,Term> |
Variable.findSubstituteVar(Variable.VarType type,
Variable var,
Term term,
java.util.HashMap<java.lang.String,Term> subs,
boolean first)
To find a substitution that can unify a Vriable and a Term |
private java.lang.String |
CompoundTerm.makeVarName(int size,
Variable v)
Sequentially generate new variable names |
Constructor parameters in nars.language with type arguments of type Variable | |
---|---|
CompoundTerm(java.lang.String n,
java.util.ArrayList<Term> cs,
java.util.ArrayList<Variable> open,
short i)
Constructor called from subclasses constructors to clone the fields |
|
Conjunction(java.lang.String n,
java.util.ArrayList<Term> cs,
java.util.ArrayList<Variable> open,
short i,
TemporalValue order)
Constructor with full values, called by clone |
|
DifferenceExt(java.lang.String n,
java.util.ArrayList<Term> cs,
java.util.ArrayList<Variable> open,
short i)
Constructor with full values, called by clone |
|
DifferenceInt(java.lang.String n,
java.util.ArrayList<Term> cs,
java.util.ArrayList<Variable> open,
short i)
Constructor with full values, called by clone |
|
Disjunction(java.lang.String n,
java.util.ArrayList<Term> cs,
java.util.ArrayList<Variable> open,
short i)
Constructor with full values, called by clone |
|
Equivalence(java.lang.String n,
java.util.ArrayList<Term> cs,
java.util.ArrayList<Variable> open,
short i,
TemporalValue order)
Constructor with full values, called by clone |
|
ImageExt(java.lang.String n,
java.util.ArrayList<Term> cs,
java.util.ArrayList<Variable> open,
short complexity,
short index)
Constructor with full values, called by clone |
|
ImageInt(java.lang.String n,
java.util.ArrayList<Term> cs,
java.util.ArrayList<Variable> open,
short complexity,
short index)
Constructor with full values, called by clone |
|
Implication(java.lang.String n,
java.util.ArrayList<Term> cs,
java.util.ArrayList<Variable> open,
short i,
TemporalValue order)
Constructor with full values, called by clone |
|
Inheritance(java.lang.String n,
java.util.ArrayList<Term> cs,
java.util.ArrayList<Variable> open,
short i)
Constructor with full values, called by clone |
|
IntersectionExt(java.lang.String n,
java.util.ArrayList<Term> cs,
java.util.ArrayList<Variable> open,
short i)
Constructor with full values, called by clone |
|
IntersectionInt(java.lang.String n,
java.util.ArrayList<Term> cs,
java.util.ArrayList<Variable> open,
short i)
Constructor with full values, called by clone |
|
Negation(java.lang.String n,
java.util.ArrayList<Term> cs,
java.util.ArrayList<Variable> open,
short i)
Constructor with full values, called by clone |
|
Product(java.lang.String n,
java.util.ArrayList<Term> cs,
java.util.ArrayList<Variable> open,
short complexity)
Constructor with full values, called by clone |
|
SetExt(java.lang.String n,
java.util.ArrayList<Term> cs,
java.util.ArrayList<Variable> open,
short i)
Constructor with full values, called by clone |
|
SetInt(java.lang.String n,
java.util.ArrayList<Term> cs,
java.util.ArrayList<Variable> open,
short i)
constructor with full values, called by clone |
|
Similarity(java.lang.String n,
java.util.ArrayList<Term> cs,
java.util.ArrayList<Variable> open,
short i)
Constructor with full values, called by clone |
|
Statement(java.lang.String n,
java.util.ArrayList<Term> cs,
java.util.ArrayList<Variable> open,
short i)
Constructor with full values, called by clone |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |