nars.language
Class Implication

java.lang.Object
  nars.language.Term
      nars.language.CompoundTerm
          nars.language.Statement
              nars.language.Implication

All Implemented Interfaces:

java.lang.Cloneable, java.lang.Comparable<Term>

public class Implication
extends Statement

A Statement about an Inheritance relation.

Field Summary

private TemporalValue

temporalOrder Temporal order between the components

Fields inherited from class nars.language.CompoundTerm

complexity, components, openVariables

Fields inherited from class nars.language.Term

name

Constructor Summary

protected	Implication(java.lang.String n, java.util.ArrayList<Term> cs, java.util.ArrayList<Variable> open, short i, TemporalValue order) Constructor with full values, called by clone
protected	Implication(java.lang.String n, java.util.ArrayList<Term> arg, TemporalValue order) Constructor with partial values, called by make

Method Summary

java.lang.Object	clone() Clone an object
TemporalValue	getOrder() Get the order of the components.
static java.lang.String	getSymbol(TemporalValue t) Convert a TemporalValue into its String representation
static Implication	make(Term subject, Term predicate, TemporalValue order) Try to make a new compound from two components.
java.lang.String	operator() Get the operator of the term.

Methods inherited from class nars.language.Statement

getPredicate, getSubject, invalid, invalidStatement, isRelation, make, make, make, makeName, makeStatementName, makeSym

Methods inherited from class nars.language.CompoundTerm

addComponents, argumentsToList, cloneComponents, cloneList, componentAt, containAllComponents, containComponent, getComplexity, getComponents, getConstantName, getOpenVariables, isCommutative, isConstant, isOperator, make, make, makeCompoundName, makeImageName, makeSetName, prepareComponentLinks, reduceComponents, renameVariables, renameVariables, replaceComponent, replaceComponent, size, substituteComponent

Methods inherited from class nars.language.Term

compareTo, equals, getName, hashCode, toString

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

temporalOrder

private TemporalValue temporalOrder

Temporal order between the components

Constructor Detail

Implication

protected Implication(java.lang.String n,
                      java.util.ArrayList<Term> arg,
                      TemporalValue order)

Constructor with partial values, called by make

Parameters:

n - The name of the term

arg - The component list of the term

order - The temporal order of the components

Implication

protected Implication(java.lang.String n,
                      java.util.ArrayList<Term> cs,
                      java.util.ArrayList<Variable> open,
                      short i,
                      TemporalValue order)

Constructor with full values, called by clone

Parameters:

n - The name of the term

cs - Component list

open - Open variable list

i - Syntactic complexity of the compound

order - The temporal order of the components

Method Detail

clone

public java.lang.Object clone()

Clone an object

Specified by:

clone in class CompoundTerm

Returns:

A new object

make

public static Implication make(Term subject,
                               Term predicate,
                               TemporalValue order)

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

Parameters:

subject - The first compoment

predicate - The second compoment

order - The temporal order of the components

Returns:

A compound generated or a term it reduced to

operator

public java.lang.String operator()

Get the operator of the term.

Specified by:

operator in class CompoundTerm

Returns:

the operator of the term

getOrder

public TemporalValue getOrder()

Get the order of the components.

Overrides:

getOrder in class Term

Returns:

the order within the term

getSymbol

public static java.lang.String getSymbol(TemporalValue t)

Convert a TemporalValue into its String representation

Parameters:

t - The temporal value to be represented

Returns:

The the String representation