Package org.opennars.language

Class Negation

java.lang.Object

org.opennars.language.Term

org.opennars.language.CompoundTerm

org.opennars.language.Negation

All Implemented Interfaces:

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

public class Negation
extends CompoundTerm

A negation of a statement 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
protected	Negation(Term t)	avoid using this externally, because double-negatives can be unwrapped to the original term using Negation.make

Method Summary

Modifier and Type	Method	Description
static boolean	areMutuallyInverse(Term tc, Term ptc)
Negation	clone()	Clone an object
Term	clone(Term[] replaced)	Must be Term return type because the type of Term may change with different arguments
static Term	make(Term t)	Try to make a Negation of one component.
static Term	make(Term[] argument)	Try to make a new Negation.
protected CharSequence	makeName()	default method to make the oldName of the current term from existing fields.
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, 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

Negation

protected Negation(Term t)

avoid using this externally, because double-negatives can be unwrapped to the original term using Negation.make

Method Detail

makeName

protected CharSequence makeName()

Description copied from class: CompoundTerm

default method to make the oldName of the current term from existing fields. needs overridden in certain subclasses

Overrides:

makeName in class CompoundTerm

Returns:

the oldName of the term

clone

public Negation clone()

Clone an object

Specified by:

clone in class CompoundTerm

Returns:

A new object

clone

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

Try to make a Negation of one component. Called by the inference rules.

Parameters:

t - The component

Returns:

A compound generated or a term it reduced to

make

public static Term make(Term[] argument)

Try to make a new Negation. Called by StringParser.

Parameters:

argument - The list of term

Returns:

the Term generated from the arguments

operator

public Symbols.NativeOperator operator()

Get the operator of the term.

Specified by:

operator in class CompoundTerm

Returns:

the operator of the term

areMutuallyInverse

public static boolean areMutuallyInverse(Term tc,
                                         Term ptc)