Package org.opennars.language

Class Disjunction

java.lang.Object

org.opennars.language.Term

org.opennars.language.CompoundTerm

org.opennars.language.Disjunction

All Implemented Interfaces:

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

public class Disjunction
extends CompoundTerm

A disjunction of Statements 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

Modifier	Constructor	Description
private	Disjunction(Term[] arg)	Constructor with partial values, called by make

Method Summary

Modifier and Type	Method	Description
Disjunction	clone()	Clone an object
Term	clone(Term[] x)	Must be Term return type because the type of Term may change with different arguments
boolean	isCommutative()	Disjunction is commutative.
static Term	make(Term[] t)
static Term	make(Term term1, Term term2)	Try to make a new Disjunction from two term.
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, 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

Disjunction

private Disjunction(Term[] arg)

Constructor with partial values, called by make

Parameters:

arg - The component list of the term

Method Detail

clone

public Disjunction clone()

Clone an object

Specified by:

clone in class CompoundTerm

Returns:

A new object

clone

public Term clone(Term[] x)

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(Term term1,
                        Term term2)

Try to make a new Disjunction from two term. Called by the inference rules.

Parameters:

term1 - The first component

term2 - The first component

Returns:

A Disjunction generated or a Term it reduced to

make

public static Term make(Term[] t)

operator

public Symbols.NativeOperator operator()

Get the operator of the term.

Specified by:

operator in class CompoundTerm

Returns:

the operator of the term

isCommutative

public boolean isCommutative()

Disjunction is commutative.

Overrides:

isCommutative in class CompoundTerm

Returns:

true for commutative