Package org.opennars.language

Class Product

java.lang.Object

org.opennars.language.Term

org.opennars.language.CompoundTerm

org.opennars.language.Product

All Implemented Interfaces:

Serializable, Cloneable, Comparable<AbstractTerm>, Iterable<Term>, AbstractTerm

public class Product
extends CompoundTerm

A Product is a sequence of 1 or more terms as defined in the NARS-theory

Author:

Pei Wang, Patrick Hammer

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class org.opennars.language.CompoundTerm

CompoundTerm.ConvRectangle, CompoundTerm.UnableToCloneException

Nested classes/interfaces inherited from class org.opennars.language.Term

Term.TermVisitor

Field Summary

Fields inherited from class org.opennars.language.CompoundTerm

complexity, conceptival, containedTemporalRelations, hash, term

Fields inherited from class org.opennars.language.Term

EmptyTermArray, imagination, index_variable, SELF, SEQ_SPATIAL, SEQ_TEMPORAL, term_indices

Constructor Summary

Constructors

Constructor	Description
Product(List<Term> x)
Product(Term... arg)	Constructor with partial values, called by make

Method Summary

Modifier and Type	Method	Description
Product	clone()	Clone a Product
CompoundTerm	clone(Term[] replaced)	Must be Term return type because the type of Term may change with different arguments
static Term	make(CompoundTerm image, Term component, int index)	Try to make a Product from an ImageExt/ImageInt and a component.
static Product	make(Term... arg)
Symbols.NativeOperator	operator()	Get the operator of the term.

Methods inherited from class org.opennars.language.CompoundTerm

addComponentsRecursively, addTermsTo, applySubstitute, applySubstituteToCompound, asTermList, cloneDeep, cloneDeepVariables, cloneTerms, cloneTermsAppend, cloneTermsDeep, cloneTermsExcept, cloneTermsListDeep, cloneTermsReplacing, cloneVariableTermsDeep, compareTo, containedTemporalRelations, containsAllTermsOf, containsTerm, containsTermRecursively, countTermRecursively, equals, extractIntervals, getComplexity, getContainedTerms, hashCode, hasInterval, hasVar, hasVarDep, hasVarIndep, hasVarQuery, init, invalidateName, isCommutative, isNormalized, iterator, makeCompoundName, makeName, name, prepareComponentLinks, replaceIntervals, setComponent, setNormalized, shuffle, size, termArray, termList, transformIndependentVariableToDependent, UpdateConvRectangle

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from class org.opennars.language.Term

get, get, getIsSpatial, getTemporalOrder, hasVar, isConstant, isExecutable, isHigherOrderStatement, isSelf, nameInternal, recurseSubtermsContainingVariables, recurseSubtermsContainingVariables, recurseTerms, setName, subjectOrPredicateIsIndependentVar, text, toSortedSet, toSortedSetArray, toString, valid

Constructor Detail

Product

public Product(Term... arg)

Constructor with partial values, called by make

Parameters:

arg - The component list of the term

Product

public Product(List<Term> x)

Method Detail

make

public static Product make(Term... arg)

clone

public Product clone()

Clone a Product

Specified by:

clone in class CompoundTerm

Returns:

A new object, to be casted into an ImageExt

clone

public CompoundTerm clone(Term[] replaced)

Description copied from class: CompoundTerm

Must be Term return type because the type of Term may change with different arguments

Specified by:

clone in class CompoundTerm

make

public static Term make(CompoundTerm image,
                        Term component,
                        int index)

Try to make a Product from an ImageExt/ImageInt and a component. Called by the inference rules.

Parameters:

image - The existing Image

component - The component to be added into the component list

index - The index of the place-holder in the new Image -- optional parameter

Returns:

A compound generated or a term it reduced to

operator

public Symbols.NativeOperator operator()

Get the operator of the term.

Specified by:

operator in class CompoundTerm

Returns:

the operator of the term