Package org.opennars.language

Class ImageInt

java.lang.Object

org.opennars.language.Term

org.opennars.language.CompoundTerm

org.opennars.language.Image

org.opennars.language.ImageInt

All Implemented Interfaces:

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

public class ImageInt
extends Image

An intension image as defined in the NARS-theory

(\,P,A,_)) --> B iff P --> (*,A,B)

Internally, it is actually (\,A,P)_1, with an index.

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.Image

relationIndex

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	ImageInt(Term[] arg, short index)	constructor with partial values, called by make

Method Summary

Modifier and Type	Method	Description
ImageInt	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(ImageInt oldImage, Term component, short index)	Try to make an Image from an existing Image and a component.
static Term	make(Product product, Term relation, short index)	Try to make an Image from a Product and a relation.
static Term	make(Term[] argList)	Try to make a new ImageExt.
static ImageInt	make(Term[] argument, short index)	Try to make a new compound from a set of 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, 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 class org.opennars.language.Image

compareTo, getRelation, getTheOtherComponent, init, isPlaceHolder, makeImageName, makeName

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

ImageInt

protected ImageInt(Term[] arg,
                   short index)

constructor with partial values, called by make

Parameters:

arg - The component list of the term

index - The index of relation in the component list

Method Detail

clone

public ImageInt clone()

Clone an object

Specified by:

clone in class CompoundTerm

Returns:

A new object, to be casted into an ImageInt

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[] argList)

Try to make a new ImageExt. Called by StringParser.

Parameters:

argList - The list of term

Returns:

the Term generated from the arguments

make

public static Term make(Product product,
                        Term relation,
                        short index)

Try to make an Image from a Product and a relation. Called by the inference rules.

Parameters:

product - The product

relation - The relation

index - The index of the place-holder

Returns:

A compound generated or a term it reduced to

make

public static Term make(ImageInt oldImage,
                        Term component,
                        short index)

Try to make an Image from an existing Image and a component. Called by the inference rules.

Parameters:

oldImage - The existing Image

component - The component to be added into the component list

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

Returns:

A compound generated or a term it reduced to

make

public static ImageInt make(Term[] argument,
                            short index)

Try to make a new compound from a set of term. Called by the public make methods.

Parameters:

argument - The argument list

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

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