Package org.opennars.language

Class SetExt

java.lang.Object

org.opennars.language.Term

org.opennars.language.CompoundTerm

org.opennars.language.SetTensional

org.opennars.language.SetExt

All Implemented Interfaces:

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

public class SetExt
extends SetTensional

An extensionally defined set, which contains one or more instances 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
SetExt(Term... arg)	Constructor with partial values, called by make

Method Summary

Modifier and Type	Method	Description
SetExt	clone()	Clone a SetExt
SetExt	clone(Term[] replaced)	Must be Term return type because the type of Term may change with different arguments
static SetExt	make(Collection<Term> l)
static SetExt	make(Term... t)
CharSequence	makeName()	Make a String representation of the set, override the default.
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, isNormalized, iterator, makeCompoundName, 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.SetTensional

isCommutative, makeSetName

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

SetExt

public SetExt(Term... arg)

Constructor with partial values, called by make

Parameters:

arg - The component list of the term - args must be unique and sorted

Method Detail

clone

public SetExt clone()

Clone a SetExt

Specified by:

clone in class CompoundTerm

Returns:

A new object, to be casted into a SetExt

clone

public SetExt 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 SetExt make(Term... t)

make

public static SetExt make(Collection<Term> l)

operator

public Symbols.NativeOperator operator()

Get the operator of the term.

Specified by:

operator in class CompoundTerm

Returns:

the operator of the term

makeName

public CharSequence makeName()

Make a String representation of the set, override the default.

Overrides:

makeName in class CompoundTerm

Returns:

true for communitative