Uses of Class
nars.language.Variable.VarType

Packages that use Variable.VarType

nars.language

Term hierarchy in Narsese

Uses of Variable.VarType in nars.language

Fields in nars.language declared as Variable.VarType

private Variable.VarType

Variable.type Type of the variable

Methods in nars.language that return Variable.VarType

Variable.VarType	Variable.getType() Get the type of the variable
static Variable.VarType	Variable.VarType.valueOf(java.lang.String name) Returns the enum constant of this type with the specified name.
static Variable.VarType[]	Variable.VarType.values() Returns an array containing the constants of this enum type, in the order they are declared.

Methods in nars.language with parameters of type Variable.VarType

static java.util.HashMap<java.lang.String,Term>	Variable.findSubstitute(Variable.VarType type, Term term1, Term term2) To find a substitution that can unify two Terms without changing them
private static java.util.HashMap<java.lang.String,Term>	Variable.findSubstitute(Variable.VarType type, Term term1, Term term2, java.util.HashMap<java.lang.String,Term> subs) To recursively find a substitution that can unify two Terms without changing them
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
static boolean	Variable.match(Variable.VarType type1, Variable.VarType type2) Whether two variable types can match each other in unification
static boolean	Variable.unify(Variable.VarType type, Term t1, Term t2, Term compound1, Term compound2) To unify two Terms, then apply the substitution to the two compounds

Constructors in nars.language with parameters of type Variable.VarType

Variable(java.lang.String n, Variable.VarType t, CompoundTerm s)
Constructor, with all fields