nars.language
Class SetExt

java.lang.Object
  nars.language.Term
      nars.language.CompoundTerm
          nars.language.SetExt

All Implemented Interfaces:

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

public class SetExt
extends CompoundTerm

An extensionally defined set, which contains one or more instances.

Field Summary

Fields inherited from class nars.language.CompoundTerm

complexity, components, openVariables

Fields inherited from class nars.language.Term

name

Constructor Summary

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

Method Summary

java.lang.Object	clone() Clone a SetExt
boolean	isCommutative() Check if the compound is communitative.
static Term	make(java.util.ArrayList<Term> argList) Try to make a new SetExt.
static Term	make(Term t) Try to make a new set from one component.
static Term	make(java.util.TreeSet<Term> set) Try to make a new compound from a set of components.
java.lang.String	makeName() Make a String representation of the set, override the default.
java.lang.String	operator() Get the operator of the term.

Methods inherited from class nars.language.CompoundTerm

addComponents, argumentsToList, cloneComponents, cloneList, componentAt, containAllComponents, containComponent, getComplexity, getComponents, getConstantName, getOpenVariables, 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, getOrder, hashCode, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

SetExt

private SetExt(java.lang.String n,
               java.util.ArrayList<Term> arg)

Constructor with partial values, called by make

Parameters:

n - The name of the term

arg - The component list of the term

SetExt

private SetExt(java.lang.String n,
               java.util.ArrayList<Term> cs,
               java.util.ArrayList<Variable> open,
               short i)

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

Method Detail

clone

public java.lang.Object clone()

Clone a SetExt

Specified by:

clone in class CompoundTerm

Returns:

A new object, to be casted into a SetExt

make

public static Term make(Term t)

Try to make a new set from one component. Called by the inference rules.

Parameters:

t - The compoment

Returns:

A compound generated or a term it reduced to

make

public static Term make(java.util.ArrayList<Term> argList)

Try to make a new SetExt. Called by StringParser.

Parameters:

argList - The list of components

Returns:

the Term generated from the arguments

make

public static Term make(java.util.TreeSet<Term> set)

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

Parameters:

set - a set of Term as compoments

Returns:

the Term generated from the arguments

operator

public java.lang.String operator()

Get the operator of the term.

Specified by:

operator in class CompoundTerm

Returns:

the operator of the term

isCommutative

public boolean isCommutative()

Check if the compound is communitative.

Overrides:

isCommutative in class CompoundTerm

Returns:

true for communitative

makeName

public java.lang.String makeName()

Make a String representation of the set, override the default.

Overrides:

makeName in class CompoundTerm

Returns:

true for communitative