Package org.opennars.language

Class Implication

java.lang.Object

org.opennars.language.Term

org.opennars.language.CompoundTerm

org.opennars.language.Statement

org.opennars.language.Implication

All Implemented Interfaces:

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

public class Implication
extends Statement

A Statement about an Inheritance copula 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.Statement

Statement.EnumStatementSide

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

Term.TermVisitor

Field Summary

Fields

Modifier and Type	Field	Description
long	counter
private int	temporalOrder

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
Implication(Term[] arg, int order)	Constructor with partial values, called by make
Implication(Term[] arg, int order, long counter)	Constructor with partial values, called by make
Implication(Term subject, Term predicate, int order)

Method Summary

Modifier and Type	Method	Description
Implication	clone()	Clone an object
Implication	clone(Term[] t)	Must be Term return type because the type of Term may change with different arguments
int	getTemporalOrder()
boolean	isBackward()
boolean	isConcurrent()
boolean	isForward()
static Implication	make(Term subject, Term predicate)	Try to make a new compound from two term.
static Implication	make(Term subject, Term predicate, int temporalOrder)
static CharSequence	makeName(Term subject, int temporalOrder, Term predicate)
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, invalidateName, isCommutative, 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.Statement

getPredicate, getSubject, init, invalid, invalidPair, invalidStatement, invalidStatement, make, make, make, make, makeName, makeStatementName, makeSym, retBySide, retOppositeSide

Methods inherited from class org.opennars.language.Term

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

Field Detail

temporalOrder

private int temporalOrder

counter

public long counter

Constructor Detail

Implication

public Implication(Term[] arg,
                   int order)

Constructor with partial values, called by make

Parameters:

arg - The component list of the term

Implication

public Implication(Term[] arg,
                   int order,
                   long counter)

Constructor with partial values, called by make

Parameters:

arg - The component list of the term

Implication

public Implication(Term subject,
                   Term predicate,
                   int order)

Method Detail

clone

public Implication clone()

Clone an object

Specified by:

clone in class Statement

Returns:

A new object

clone

public Implication clone(Term[] t)

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 Implication make(Term subject,
                               Term predicate)

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

Parameters:

subject - The first component

predicate - The second component

Returns:

A compound generated or a term it reduced to

makeName

public static CharSequence makeName(Term subject,
                                    int temporalOrder,
                                    Term predicate)

make

public static Implication make(Term subject,
                               Term predicate,
                               int temporalOrder)

operator

public Symbols.NativeOperator operator()

Get the operator of the term.

Specified by:

operator in class CompoundTerm

Returns:

the operator of the term

getTemporalOrder

public int getTemporalOrder()

Overrides:

getTemporalOrder in class Term

isForward

public boolean isForward()

isBackward

public boolean isBackward()

isConcurrent

public boolean isConcurrent()