com.agentfactory.logic.reasoner
Class SubstitutionSet

java.lang.Object
  java.util.AbstractCollection<E>
      java.util.AbstractList<E>
          java.util.ArrayList
              com.agentfactory.logic.reasoner.SubstitutionSet

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, java.lang.Iterable, java.util.Collection, java.util.List, java.util.RandomAccess

public class SubstitutionSet
extends java.util.ArrayList

See Also:

Serialized Form

Field Summary

Fields inherited from class java.util.AbstractList

modCount

Constructor Summary

SubstitutionSet()

Method Summary

boolean	equals(java.lang.Object o)
FOS	findConstant(FOS aVar)
boolean	hasVariable(FOS aVar)
boolean	hasVariable(Substitution aVar)
SubstitutionSet	merge(SubstitutionSet inSubSet) Take a substitution set and merge it with the current substitutiion set, resulting in a new substitution set.
java.lang.String	toString()

Methods inherited from class java.util.ArrayList

add, add, addAll, addAll, clear, clone, contains, ensureCapacity, get, indexOf, isEmpty, lastIndexOf, remove, remove, removeRange, set, size, toArray, toArray, trimToSize

Methods inherited from class java.util.AbstractList

hashCode, iterator, listIterator, listIterator, subList

Methods inherited from class java.util.AbstractCollection

containsAll, removeAll, retainAll

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.List

containsAll, hashCode, iterator, listIterator, listIterator, removeAll, retainAll, subList

Constructor Detail

SubstitutionSet

public SubstitutionSet()

Method Detail

findConstant

public FOS findConstant(FOS aVar)

hasVariable

public boolean hasVariable(Substitution aVar)

hasVariable

public boolean hasVariable(FOS aVar)

equals

public boolean equals(java.lang.Object o)

Specified by:

equals in interface java.util.Collection

Specified by:

equals in interface java.util.List

Overrides:

equals in class java.util.AbstractList

merge

public SubstitutionSet merge(SubstitutionSet inSubSet)

Take a substitution set and merge it with the current substitutiion set, resulting in a new substitution set.

Parameters:

inSubSet -

Returns:

a SubstitutionSet

toString

public java.lang.String toString()

Overrides:

toString in class java.util.AbstractCollection