Uses of Class
nars.language.Term

Packages that use Term

nars.entity	Data entities that are independently stored
nars.inference	The inference rules and control functions
nars.io	Input/output management
nars.language	Term hierarchy in Narsese
nars.main	Top-level classes of the system
nars.operation	Built-in operators

Uses of Term in nars.entity

Fields in nars.entity declared as Term

protected Term	Sentence.content The content of a Sentence is a Term
private Term	TermLink.target The linked Term
private Term	Concept.term The term is the unique ID of the concept

Methods in nars.entity that return Term

Term	Sentence.cloneContent() Clone the content of the sentence
Term	Sentence.getContent() Get the content of the sentence
Term	Task.getContent() Directly get the content of the sentence
Term	TermLink.getTarget() Get the target of the link
Term	Concept.getTerm() Return the assocated term, called from Memory only

Methods in nars.entity with parameters of type Term

static Sentence	Sentence.make(Sentence oldS, Term term, TruthValue truth, Stamp stamp, TemporalValue tense) Make a derived Sentence from a template and some initial values.
static Sentence	Sentence.make(Term term, char punc, TruthValue truth, Stamp stamp, TemporalValue tense) Make a Sentence from an input String.
void	Sentence.setContent(Term t) Set the content Term of the Sentence

Constructors in nars.entity with parameters of type Term

Concept(Term tm)
Constructor, called in Memory.getConcept only

Goal(Term term, char punc, TruthValue t, Stamp s)
Constructor

Judgment(Term term, char punc, TruthValue t, Stamp b)
Constructor

Question(Term term, char punc, Stamp s)
COnstructor

TermLink(Term t, short p, int... indices)
Constructor for TermLink template

TermLink(Term t, TermLink template, BudgetValue v)
Constructor to make actual TermLink from a template

Uses of Term in nars.inference

Methods in nars.inference with parameters of type Term

(package private) static void	SyllogisticRules.abdIndCom(Term term1, Term term2, Sentence taskSentence, Judgment belief, int figure) { S>, P>} |- { P>, S>, P>}
(package private) static void	CompositionalRules.abdVarDepOuter(CompoundTerm compound, Term component, boolean compoundTask) {(&&, <#x() --> S>, <#x() --> P>>, P>} |- S>
(package private) static void	SyllogisticRules.analogy(Term term1, Term term2, Sentence asym, Sentence sym, int figure) { P>, P>} |- P>
private static void	RuleTables.compoundAndSelf(CompoundTerm compound, Term component, boolean compoundTask) Inference between a compound term and a component of it
private static void	RuleTables.compoundAndStatement(CompoundTerm compound, short index, Statement statement, short side, Term beliefTerm) Inference between a compound term and a statement
static BudgetValue	BudgetFunctions.compoundBackward(Term content) Backward inference with CompoundTerm conclusion, stronger case
static BudgetValue	BudgetFunctions.compoundBackwardWeak(Term content) Backward inference with CompoundTerm conclusion, weaker case
static BudgetValue	BudgetFunctions.compoundForward(TruthValue truth, Term content) Forward inference with CompoundTerm conclusion
(package private) static boolean	SyllogisticRules.conditionalAbd(Term cond1, Term cond2, Statement st1, Statement st2) {<(&&, S2, S3) ==> P>, <(&&, S1, S3) ==> P>} |- S2>
(package private) static void	SyllogisticRules.conditionalDedInd(Implication premise1, short index, Term premise2, int side) {<(&&, S1, S2, S3) ==> P>, S1} |- <(&&, S2, S3) ==> P> {<(&&, S2, S3) ==> P>, S2>} |- <(&&, S1, S3) ==> P> {<(&&, S1, S3) ==> P>, S2>} |- <(&&, S2, S3) ==> P>
private static void	CompositionalRules.decomposeCompound(CompoundTerm compound, Term component, Term term1, int index, boolean compoundTask) {<(S|P) ==> M>, M>} |- M>
(package private) static void	CompositionalRules.decomposeStatement(CompoundTerm compound, Term component, boolean compoundTask) {(||, S, P), P} |- S {(&&, S, P), P} |- S
(package private) static void	SyllogisticRules.dedExe(Term term1, Term term2, Sentence sentence, Judgment belief) { M>, P>} |- { P>, S>}
(package private) static void	CompositionalRules.introVarDepInner(CompoundTerm compound, Term component, Term premise) Introduce a dependent variable in an inner-layer conjunction
private static void	CompositionalRules.processComposed(Statement statement, Term subject, Term predicate, TruthValue truth) Finish composing compound term
(package private) static void	SyllogisticRules.resemblance(Term term1, Term term2, Judgment belief, Sentence sentence, int figure) { M>, P>} |- P>
(package private) static void	StructuralRules.structuralCompound(CompoundTerm compound, Term component, boolean compoundTask) {(&&, A, B), A@(&&, A, B)} |- A {(||, A, B), A@(||, A, B)} |- A
private static void	StructuralRules.structuralStatement(Term subject, Term predicate, TruthValue truth) Common final operations of the above two methods
private static void	RuleTables.syllogisms(TaskLink tLink, TermLink bLink, Term taskTerm, Term beliefTerm) Meta-table of syllogistic rules, indexed by the content classes of the taskSentence and the belief
(package private) static void	StructuralRules.transformNegation(Term content) {A, A@(--, A)} |- (--, A)

Uses of Term in nars.io

Methods in nars.io that return Term

private static Term	StringParser.parseCompoundTerm(java.lang.String s0) Parse a String to create a CompoundTerm.
private static Term	StringParser.parseSimpleTerm(java.lang.String s0) Parse a Term that has no internal structure.
private static Term	StringParser.parseTerm(java.lang.String s0) Top-level method that parse a Term in general, which may recursively call itself.

Methods in nars.io that return types with arguments of type Term

private static java.util.ArrayList<Term>

StringParser.parseArguments(java.lang.String s0) Parse a String into the argument get of a CompoundTerm.

Uses of Term in nars.language

Subclasses of Term in nars.language

class	CompoundTerm A CompoundTerm is a Term with internal (syntactic) structure
class	Conjunction Conjunction of statements
class	DifferenceExt A compound term whose extension is the difference of the extensions of its components
class	DifferenceInt A compound term whose extension is the difference of the intensions of its components
class	Disjunction A disjunction of Statements.
class	Equivalence A Statement about an Equivalence relation.
class	ImageExt An extension image.
class	ImageInt An intension image.
class	Implication A Statement about an Inheritance relation.
class	Inheritance A Statement about an Inheritance relation.
class	Instance A Statement about an Instance relation, which is used only in Narsese for I/O, and translated into Inheritance for internal use.
class	InstanceProperty A Statement about an InstanceProperty relation, which is used only in Narsese for I/O, and translated into Inheritance for internal use.
class	IntersectionExt A compound term whose extension is the intersection of the extensions of its components
class	IntersectionInt A compound term whose intension is the intersection of the extensions of its components
class	Negation A negation of a Statement.
class	Product A Product is a sequence of terms.
class	Property A Statement about a Property relation, which is used only in Narsese for I/O, and translated into Inheritance for internal use.
class	SetExt An extensionally defined set, which contains one or more instances.
class	SetInt An intensionally defined set, which contains one or more instances defining the Term.
class	Similarity A Statement about a Similarity relation.
class	Statement A statement is a compound term, consisting of a subject, a predicate, and a relation symbol in between.
class	Variable A variable term, which does not correspond to a concept

Fields in nars.language with type parameters of type Term

protected java.util.ArrayList<Term>

CompoundTerm.components list of (direct) components

Methods in nars.language that return Term

static Term	CompoundTerm.addComponents(CompoundTerm t1, Term t2) Try to add a component into a compound
Term	CompoundTerm.componentAt(int i) get a component by index
Term	Statement.getPredicate() Return the second component of the statement
Term	Statement.getSubject() Return the first component of the statement
static Term	DifferenceExt.make(java.util.ArrayList<Term> argList) Try to make a new DifferenceExt.
static Term	DifferenceInt.make(java.util.ArrayList<Term> argList) Try to make a new DifferenceExt.
static Term	Disjunction.make(java.util.ArrayList<Term> argList) Try to make a new IntersectionExt.
static Term	ImageExt.make(java.util.ArrayList<Term> argList) Try to make a new ImageExt.
static Term	ImageInt.make(java.util.ArrayList<Term> argList) Try to make a new ImageExt.
static Term	IntersectionExt.make(java.util.ArrayList<Term> argList) Try to make a new IntersectionExt.
static Term	IntersectionInt.make(java.util.ArrayList<Term> argList) Try to make a new IntersectionExt.
static Term	Negation.make(java.util.ArrayList<Term> argument) Try to make a new SetExt.
static Term	Product.make(java.util.ArrayList<Term> argument) Try to make a new compound.
static Term	SetExt.make(java.util.ArrayList<Term> argList) Try to make a new SetExt.
static Term	SetInt.make(java.util.ArrayList<Term> argList) Try to make a new SetExt.
static Term	ImageExt.make(java.util.ArrayList<Term> argument, short index) Try to make a new compound from a set of components.
static Term	ImageInt.make(java.util.ArrayList<Term> argument, short index) Try to make a new compound from a set of components.
static Term	Conjunction.make(java.util.ArrayList<Term> argList, TemporalValue order) Try to make a new compound from a list of components.
static Term	CompoundTerm.make(CompoundTerm compound, java.util.ArrayList<Term> components) Try to make a compound term from a template and a list of components
static Term	Product.make(CompoundTerm image, Term component, int index) Try to make a Product from an ImageExt/ImageInt and a component.
static Term	ImageExt.make(ImageExt oldImage, Term component, short index) Try to make an Image from an existing Image and a component.
static Term	ImageInt.make(ImageInt oldImage, Term component, short index) Try to make an Image from an existing Image and a component.
static Term	ImageExt.make(Product product, Term relation, short index) Try to make an Image from a Product and a relation.
static Term	ImageInt.make(Product product, Term relation, short index) Try to make an Image from a Product and a relation.
static Term	CompoundTerm.make(java.lang.String op, java.util.ArrayList<Term> arg) Try to make a compound term from an operator and a list of components
static Term	Negation.make(Term t) Try to make a Negation of one component.
static Term	SetExt.make(Term t) Try to make a new set from one component.
static Term	SetInt.make(Term t) Try to make a new set from one component.
static Term	DifferenceExt.make(Term t1, Term t2) Try to make a new compound from two components.
static Term	DifferenceInt.make(Term t1, Term t2) Try to make a new compound from two components.
static Term	Disjunction.make(Term term1, Term term2) Try to make a new Disjunction from two components.
static Term	IntersectionExt.make(Term term1, Term term2) Try to make a new compound from two components.
static Term	IntersectionInt.make(Term term1, Term term2) Try to make a new compound from two components.
static Term	Conjunction.make(Term term1, Term term2, TemporalValue order) Try to make a new compound from two components.
static Term	Disjunction.make(java.util.TreeSet<Term> set) Try to make a new Disjunction from a set of components.
static Term	IntersectionExt.make(java.util.TreeSet<Term> set) Try to make a new compound from a set of components.
static Term	IntersectionInt.make(java.util.TreeSet<Term> set) Try to make a new compound from a set of components.
static Term	SetExt.make(java.util.TreeSet<Term> set) Try to make a new compound from a set of components.
static Term	SetInt.make(java.util.TreeSet<Term> set) Try to make a new compound from a set of components.
static Term	Conjunction.make(java.util.TreeSet<Term> set, TemporalValue order) Try to make a new compound from a set of components.
static Term	CompoundTerm.reduceComponents(CompoundTerm t1, Term t2) Try to remove a component from a compound
static Term	CompoundTerm.replaceComponent(CompoundTerm compound, int index, Term t) Try to replace a component in a compound at a given index by another one
static Term	CompoundTerm.replaceComponent(CompoundTerm compound, Term oldComponent, Term newComponent) Try to replace a given component in a compound by another one

Methods in nars.language that return types with arguments of type Term

protected static java.util.ArrayList<Term>	CompoundTerm.argumentsToList(Term t1, Term t2) build a component list from two terms
java.util.ArrayList<Term>	CompoundTerm.cloneComponents() Clone the component list
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
java.util.ArrayList<Term>	CompoundTerm.getComponents() Get the component list

Methods in nars.language with parameters of type Term

static Term	CompoundTerm.addComponents(CompoundTerm t1, Term t2) Try to add a component into a compound
protected static java.util.ArrayList<Term>	CompoundTerm.argumentsToList(Term t1, Term t2) build a component list from two terms
int	Term.compareTo(Term that) Check the relative order of two Terms.
boolean	CompoundTerm.containAllComponents(Term t) Check whether the compound contains all components of another term, or that term as a whole
boolean	CompoundTerm.containComponent(Term t) Check whether the compound contains a certain component
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	Statement.invalidStatement(Term subject, Term predicate) Check the validity of a potential Statement.
static boolean	Conjunction.isParallel(Term t) Whether the Term is a parallel conjunction
static boolean	Conjunction.isSequence(Term t) Whether the Term is a sequential conjunction
static Term	Product.make(CompoundTerm image, Term component, int index) Try to make a Product from an ImageExt/ImageInt and a component.
static Term	ImageExt.make(ImageExt oldImage, Term component, short index) Try to make an Image from an existing Image and a component.
static Term	ImageInt.make(ImageInt oldImage, Term component, short index) Try to make an Image from an existing Image and a component.
static Term	ImageExt.make(Product product, Term relation, short index) Try to make an Image from a Product and a relation.
static Term	ImageInt.make(Product product, Term relation, short index) Try to make an Image from a Product and a relation.
static Statement	Statement.make(Statement statement, Term subj, Term pred) Make a Statement from given components, called by the rules
static Statement	Statement.make(Statement statement, Term subj, Term pred, TemporalValue t) Make a Statement from given components and temporal information, called by the rules
static Statement	Statement.make(java.lang.String relation, Term subject, Term predicate) Make a Statement from String, called by StringParser
static Term	Negation.make(Term t) Try to make a Negation of one component.
static Term	SetExt.make(Term t) Try to make a new set from one component.
static Term	SetInt.make(Term t) Try to make a new set from one component.
static Term	DifferenceExt.make(Term t1, Term t2) Try to make a new compound from two components.
static Term	DifferenceInt.make(Term t1, Term t2) Try to make a new compound from two components.
static Term	Disjunction.make(Term term1, Term term2) Try to make a new Disjunction from two components.
static Inheritance	Inheritance.make(Term subject, Term predicate) Try to make a new compound from two components.
static Statement	Instance.make(Term subject, Term predicate) Try to make a new compound from two components.
static Statement	InstanceProperty.make(Term subject, Term predicate) Try to make a new compound from two components.
static Term	IntersectionExt.make(Term term1, Term term2) Try to make a new compound from two components.
static Term	IntersectionInt.make(Term term1, Term term2) Try to make a new compound from two components.
static Statement	Property.make(Term subject, Term predicate) Try to make a new compound from two components.
static Similarity	Similarity.make(Term subject, Term predicate) Try to make a new compound from two components.
static Term	Conjunction.make(Term term1, Term term2, TemporalValue order) Try to make a new compound from two components.
static Equivalence	Equivalence.make(Term subject, Term predicate, TemporalValue order) Try to make a new compound from two components.
static Implication	Implication.make(Term subject, Term predicate, TemporalValue order) Try to make a new compound from two components.
protected static java.lang.String	Statement.makeStatementName(Term subject, java.lang.String relation, Term predicate) Default method to make the name of an image term from given fields
static Statement	Statement.makeSym(Statement statement, Term subj, Term pred, TemporalValue t) Make a symmetric Statement from given components and temporal information, called by the rules
static Term	CompoundTerm.reduceComponents(CompoundTerm t1, Term t2) Try to remove a component from a compound
static Term	CompoundTerm.replaceComponent(CompoundTerm compound, int index, Term t) Try to replace a component in a compound at a given index by another one
static Term	CompoundTerm.replaceComponent(CompoundTerm compound, Term oldComponent, Term newComponent) Try to replace a given component in a compound by another one
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

Method parameters in nars.language with type arguments of type Term

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 Term	DifferenceExt.make(java.util.ArrayList<Term> argList) Try to make a new DifferenceExt.
static Term	DifferenceInt.make(java.util.ArrayList<Term> argList) Try to make a new DifferenceExt.
static Term	Disjunction.make(java.util.ArrayList<Term> argList) Try to make a new IntersectionExt.
static Term	ImageExt.make(java.util.ArrayList<Term> argList) Try to make a new ImageExt.
static Term	ImageInt.make(java.util.ArrayList<Term> argList) Try to make a new ImageExt.
static Term	IntersectionExt.make(java.util.ArrayList<Term> argList) Try to make a new IntersectionExt.
static Term	IntersectionInt.make(java.util.ArrayList<Term> argList) Try to make a new IntersectionExt.
static Term	Negation.make(java.util.ArrayList<Term> argument) Try to make a new SetExt.
static Term	Product.make(java.util.ArrayList<Term> argument) Try to make a new compound.
static Term	SetExt.make(java.util.ArrayList<Term> argList) Try to make a new SetExt.
static Term	SetInt.make(java.util.ArrayList<Term> argList) Try to make a new SetExt.
static Term	ImageExt.make(java.util.ArrayList<Term> argument, short index) Try to make a new compound from a set of components.
static Term	ImageInt.make(java.util.ArrayList<Term> argument, short index) Try to make a new compound from a set of components.
static Term	Conjunction.make(java.util.ArrayList<Term> argList, TemporalValue order) Try to make a new compound from a list of components.
static Term	CompoundTerm.make(CompoundTerm compound, java.util.ArrayList<Term> components) Try to make a compound term from a template and a list of components
static Term	CompoundTerm.make(java.lang.String op, java.util.ArrayList<Term> arg) Try to make a compound term from an operator and a list of components
static Term	Disjunction.make(java.util.TreeSet<Term> set) Try to make a new Disjunction from a set of components.
static Term	IntersectionExt.make(java.util.TreeSet<Term> set) Try to make a new compound from a set of components.
static Term	IntersectionInt.make(java.util.TreeSet<Term> set) Try to make a new compound from a set of components.
static Term	SetExt.make(java.util.TreeSet<Term> set) Try to make a new compound from a set of components.
static Term	SetInt.make(java.util.TreeSet<Term> set) Try to make a new compound from a set of components.
static Term	Conjunction.make(java.util.TreeSet<Term> set, TemporalValue order) Try to make a new compound from a set of components.
protected static java.lang.String	CompoundTerm.makeCompoundName(java.lang.String op, java.util.ArrayList<Term> arg) default method to make the name of a compound term from given fields
protected static java.lang.String	CompoundTerm.makeImageName(java.lang.String op, java.util.ArrayList<Term> arg, int relationIndex) default method to make the name of an image term from given fields
protected static java.lang.String	CompoundTerm.makeSetName(char opener, java.util.ArrayList<Term> arg, char closer) make the name of an ExtensionSet or IntensionSet
void	CompoundTerm.substituteComponent(java.util.HashMap<java.lang.String,Term> subs, boolean first) Substitute a variable component according to a given substitution

Constructor parameters in nars.language with type arguments of type Term

CompoundTerm(java.lang.String n, java.util.ArrayList<Term> arg)
Constructor called from subclasses constructors to initialize the fields

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

Conjunction(java.lang.String n, java.util.ArrayList<Term> arg, TemporalValue order)
Constructor with partial values, called by make

DifferenceExt(java.lang.String n, java.util.ArrayList<Term> arg)
Constructor with partial values, called by make

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> arg)
Constructor with partial values, called by make

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> arg)
Constructor with partial values, called by make

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

Equivalence(java.lang.String n, java.util.ArrayList<Term> arg, TemporalValue order)
Constructor with partial values, called by make

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

ImageExt(java.lang.String n, java.util.ArrayList<Term> arg, short index)
Constructor with partial values, called by make

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

ImageInt(java.lang.String n, java.util.ArrayList<Term> arg, short index)
constructor with partial values, called by make

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

Implication(java.lang.String n, java.util.ArrayList<Term> arg, TemporalValue order)
Constructor with partial values, called by make

Inheritance(java.lang.String n, java.util.ArrayList<Term> arg)
Constructor with partial values, called by make

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> arg)
Constructor with partial values, called by make

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> arg)
Constructor with partial values, called by make

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> arg)
Constructor with partial values, called by make

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> arg)
Constructor with partial values, called by make

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> arg)
Constructor with partial values, called by make

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> arg)
Constructor with partial values, called by make

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> arg)
Constructor with partial values, called by make

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> arg)
Constructor with partial values, called by make

Statement(java.lang.String n, java.util.ArrayList<Term> cs, java.util.ArrayList<Variable> open, short i)
Constructor with full values, called by clone

Uses of Term in nars.main

Fields in nars.main declared as Term

static Term

Memory.currentTerm Shortcut to the selected Term

Methods in nars.main that return Term

static Term

Memory.nameToListedTerm(java.lang.String name) Get a Term for a given name of a Concept or Operator

Methods in nars.main with parameters of type Term

private static void	Memory.continuedProcess(Task task, Term content) Link to a new task from all relevant concepts for continued processing in the near future for unspecified time.
static void	Memory.doublePremiseTask(BudgetValue budget, Term content, TruthValue truth) Shared final operations by all double-premise rules, called from the rules except StructuralRules
static Concept	Memory.getConcept(Term term) Get the Concept associated to a Term, or create it.
static void	Memory.singlePremiseTask(BudgetValue budget, Term content, TruthValue truth) Shared final operations by all single-premise rules, called in StructuralRules
static Concept	Memory.termToConcept(Term term) Get an existing Concept for a given Term.

Uses of Term in nars.operation

Subclasses of Term in nars.operation

class	Break A class used in testing only.
class	GoTo A class used in testing only.
class	Open A class used in testing only.
class	Operator An individual operator that can be execute by the system, though implemented outside NARS.
class	Pick A class used in testing only.