Uses of Class
nars.language.CompoundTerm

Packages that use CompoundTerm

nars.inference	The inference rules and control functions
nars.language	Term hierarchy in Narsese

Uses of CompoundTerm in nars.inference

Methods in nars.inference with parameters of type CompoundTerm

(package private) static void	CompositionalRules.abdVarDepOuter(CompoundTerm compound, Term component, boolean compoundTask) {(&&, <#x() --> S>, <#x() --> P>>, P>} |- S>
private static void	RuleTables.componentAndStatement(CompoundTerm compound, short index, Statement statement, short side) Inference between a component term (of the current term) and a statement
private static void	RuleTables.compoundAndCompound(CompoundTerm taskTerm, CompoundTerm beliefTerm) Inference between two compound terms
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
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	CompositionalRules.introVarDepInner(CompoundTerm compound, Term component, Term premise) Introduce a dependent variable in an inner-layer conjunction
(package private) static void	SyllogisticRules.introVarIndInner(Statement premise1, Statement premise2, CompoundTerm oldCompound) { S>, P>>} |- <(&&, <#x --> S>, C) ==> <#x --> P>> { S>, (&&, C, P>)} |- (&&, C, <<#x --> S> ==> <#x --> P>>)
(package private) static void	StructuralRules.structuralCompose1(CompoundTerm compound, short index, Statement statement) { P>, P@(P&Q)} |- (P&Q)>
(package private) static void	StructuralRules.structuralCompose2(CompoundTerm compound, short index, Statement statement, short side) { P>, S@(S&T)} |- <(S&T) --> (P&T)> { P>, S@(M-S)} |- <(M-P) --> (M-S)>
(package private) static void	StructuralRules.structuralCompound(CompoundTerm compound, Term component, boolean compoundTask) {(&&, A, B), A@(&&, A, B)} |- A {(||, A, B), A@(||, A, B)} |- A
(package private) static void	StructuralRules.structuralDecompose1(CompoundTerm compound, short index, Statement statement) {<(S&T) --> P>, S@(S&T)} |- P>
private static boolean	StructuralRules.switchOrder(CompoundTerm compound, short index) List the cases where the direction of inheritance is revised in conclusion
(package private) static void	StructuralRules.transformProductImage(Inheritance inh, CompoundTerm oldContent, short[] indices, Task task) Equivalent transformation between products and images {<(*, S, M) --> P>, S@(*, S, M)} |- (/, P, _, M)> { (/, P, _, M)>, P@(/, P, _, M)} |- <(*, S, M) --> P> { (/, P, _, M)>, M@(/, P, _, M)} |- (/, P, S, _)>
(package private) static void	StructuralRules.transformSetRelation(CompoundTerm compound, Statement statement, short side) { {P}>} |- {P}>

Uses of CompoundTerm in nars.language

Subclasses of CompoundTerm in nars.language

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.

Fields in nars.language declared as CompoundTerm

private CompoundTerm

Variable.scope The minimum CompoundTerm what contains all occurences of this variable

Methods in nars.language with parameters of type CompoundTerm

static Term	CompoundTerm.addComponents(CompoundTerm t1, Term t2) Try to add a component into a compound
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.
private void	CompoundTerm.prepareComponentLinks(java.util.ArrayList<TermLink> componentLinks, short type, CompoundTerm term) Collect TermLink templates into a list, go down one level except in special cases
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
void	Variable.setScope(CompoundTerm t) Set the scope of the variable

Constructors in nars.language with parameters of type CompoundTerm

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