logic
Class TermList

java.lang.Object
  logic.SymbolicObject
      logic.TermList

All Implemented Interfaces:

java.lang.Cloneable, java.util.Collection, java.util.List

public class TermList

extends SymbolicObject

implements java.util.List

Constructor Summary

TermList()

TermList(java.util.List terms)

TermList(Term t)

Method Summary

void	add(int i, java.lang.Object o)
boolean	add(java.lang.Object o)
boolean	add(Term term)
boolean	addAll(java.util.Collection c)
boolean	addAll(int i, java.util.Collection c)
void	addAll(TermList ta)
TermList	addNoDups(TermList other)
TermList	addNoDupSignatures(TermList other)
void	clear()
java.lang.Object	clone()
int	compareTo(java.lang.Object o) Compare two SymbolicObjects.
boolean	contains(java.lang.Object o)
boolean	contains(Term t)
boolean	contains(TermList o)
boolean	containsAll(java.util.Collection c)
boolean	containsSignature(Term t)
TermList	copyTypesFrom(TermList other)
boolean	equals(java.lang.Object o)
boolean	equalsSet(TermList o)
TermList	finalizeTypes(api.Domain d)
int	findSignature(Term t)
int	findTerm(Term t)
int	findTermStrict(Term t)
java.lang.Object	get(int i)
SymbolicObject	getFirst()
Term	getFirstTerm()
java.lang.String	getName()
SymbolicObject	getRest()
SymbolicObject	getRestNew()
Term	getTerm(int i)
int	hashCode()
int	indexOf(java.lang.Object o)
boolean	isCompound()
boolean	isEmpty()
boolean	isSymbol()
java.util.Iterator	iterator()
int	lastIndexOf(java.lang.Object o)
java.util.ListIterator	listIterator()
java.util.ListIterator	listIterator(int i)
TermList	obtainVariables() see Proposition.obtainVariables() get the variables in this list of terms
int	partition(TermList t, int low, int high)
java.lang.String	prettyString(java.lang.String sep)
void	push(Term term)
TermList	qsort(TermList t, int low, int high)
TermList	reconcileTypes(api.Domain d, api.ProblemInstance p)
java.lang.Object	remove(int i)
boolean	remove(java.lang.Object o)
boolean	removeAll(java.util.Collection c)
Term	removeTerm(Term t)
boolean	reorderEquals(TermList o)
TermList	reorderLike(TermList o)
boolean	retainAll(java.util.Collection c)
java.lang.Object	set(int i, java.lang.Object o)
Term	setTerm(int i, Term t)
int	size()
TermList	sort()
java.util.List	subList(int from, int to)
SymbolicObject	substitute(Substitution s)
SymbolicObject	substituteVariable(Variable oldVar, Term newVar)
boolean	symbolicMatch(java.lang.Object o)
SymbolicObject	symbolicSignature()
java.lang.Object[]	toArray()
java.lang.Object[]	toArray(java.lang.Object[] a)
java.lang.String	toString()
java.lang.String	toString(java.lang.String sep)
boolean	typeCompatible(TermList other)
Substitution	unify(SymbolicObject o, Substitution s) Given two terms, return their most general unifier, or null if they don't unify.

Methods inherited from class logic.SymbolicObject

copyData, debugString, geq, getOccurrences, getProbability, getType, getTypeName, gt, infoString, isTyped, leq, lt, setOccurrences, setProbability, setType

Methods inherited from class java.lang.Object

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

Constructor Detail

TermList

public TermList()

TermList

public TermList(Term t)

TermList

public TermList(java.util.List terms)

Method Detail

clone

public java.lang.Object clone()

Overrides:

clone in class SymbolicObject

getName

public java.lang.String getName()

Specified by:

getName in class SymbolicObject

isCompound

public boolean isCompound()

Specified by:

isCompound in class SymbolicObject

isSymbol

public boolean isSymbol()

Specified by:

isSymbol in class SymbolicObject

symbolicSignature

public SymbolicObject symbolicSignature()

Specified by:

symbolicSignature in class SymbolicObject

getFirstTerm

public Term getFirstTerm()

Specified by:

getFirstTerm in class SymbolicObject

getFirst

public SymbolicObject getFirst()

Specified by:

getFirst in class SymbolicObject

getRestNew

public SymbolicObject getRestNew()

getRest

public SymbolicObject getRest()

Specified by:

getRest in class SymbolicObject

getTerm

public Term getTerm(int i)

setTerm

public Term setTerm(int i,
                    Term t)

iterator

public java.util.Iterator iterator()

Specified by:

iterator in interface java.util.List

size

public int size()

Specified by:

size in interface java.util.List

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface java.util.List

clear

public void clear()

Specified by:

clear in interface java.util.List

add

public boolean add(Term term)

push

public void push(Term term)

addAll

public void addAll(TermList ta)

addNoDups

public TermList addNoDups(TermList other)

addNoDupSignatures

public TermList addNoDupSignatures(TermList other)

compareTo

public int compareTo(java.lang.Object o)

Description copied from class: SymbolicObject

Compare two SymbolicObjects. The result is zero if the objects are equal according to the equals() operator. Otherwise, the result is a negative integer if this object's name lexicographically precedes the other's name. The result is a positive integer if this object's name lexicographically follows the other's name.

Specified by:

compareTo in class SymbolicObject

equals

public boolean equals(java.lang.Object o)

Specified by:

equals in interface java.util.List

Specified by:

equals in class SymbolicObject

symbolicMatch

public boolean symbolicMatch(java.lang.Object o)

reorderLike

public TermList reorderLike(TermList o)

reorderEquals

public boolean reorderEquals(TermList o)

equalsSet

public boolean equalsSet(TermList o)

contains

public boolean contains(TermList o)

containsSignature

public boolean containsSignature(Term t)

contains

public boolean contains(Term t)

findSignature

public int findSignature(Term t)

findTerm

public int findTerm(Term t)

findTermStrict

public int findTermStrict(Term t)

removeTerm

public Term removeTerm(Term t)

sort

public TermList sort()

qsort

public TermList qsort(TermList t,
                      int low,
                      int high)

partition

public int partition(TermList t,
                     int low,
                     int high)

obtainVariables

public TermList obtainVariables()

see Proposition.obtainVariables() get the variables in this list of terms

Specified by:

obtainVariables in class SymbolicObject

substituteVariable

public SymbolicObject substituteVariable(Variable oldVar,
                                         Term newVar)

Specified by:

substituteVariable in class SymbolicObject

substitute

public SymbolicObject substitute(Substitution s)

Specified by:

substitute in class SymbolicObject

unify

public Substitution unify(SymbolicObject o,
                          Substitution s)

Description copied from class: SymbolicObject

Given two terms, return their most general unifier, or null if they don't unify. may be mutated.

Specified by:

unify in class SymbolicObject

toString

public java.lang.String toString()

Specified by:

toString in class SymbolicObject

toString

public java.lang.String toString(java.lang.String sep)

finalizeTypes

public TermList finalizeTypes(api.Domain d)

copyTypesFrom

public TermList copyTypesFrom(TermList other)

typeCompatible

public boolean typeCompatible(TermList other)

reconcileTypes

public TermList reconcileTypes(api.Domain d,
                               api.ProblemInstance p)

prettyString

public java.lang.String prettyString(java.lang.String sep)

add

public void add(int i,
                java.lang.Object o)

Specified by:

add in interface java.util.List

add

public boolean add(java.lang.Object o)

Specified by:

add in interface java.util.List

addAll

public boolean addAll(java.util.Collection c)

Specified by:

addAll in interface java.util.List

addAll

public boolean addAll(int i,
                      java.util.Collection c)

Specified by:

addAll in interface java.util.List

contains

public boolean contains(java.lang.Object o)

Specified by:

contains in interface java.util.List

containsAll

public boolean containsAll(java.util.Collection c)

Specified by:

containsAll in interface java.util.List

get

public java.lang.Object get(int i)

Specified by:

get in interface java.util.List

hashCode

public int hashCode()

Specified by:

hashCode in interface java.util.List

indexOf

public int indexOf(java.lang.Object o)

Specified by:

indexOf in interface java.util.List

lastIndexOf

public int lastIndexOf(java.lang.Object o)

Specified by:

lastIndexOf in interface java.util.List

listIterator

public java.util.ListIterator listIterator()

Specified by:

listIterator in interface java.util.List

listIterator

public java.util.ListIterator listIterator(int i)

Specified by:

listIterator in interface java.util.List

remove

public java.lang.Object remove(int i)

Specified by:

remove in interface java.util.List

remove

public boolean remove(java.lang.Object o)

Specified by:

remove in interface java.util.List

removeAll

public boolean removeAll(java.util.Collection c)

Specified by:

removeAll in interface java.util.List

retainAll

public boolean retainAll(java.util.Collection c)

Specified by:

retainAll in interface java.util.List

set

public java.lang.Object set(int i,
                            java.lang.Object o)

Specified by:

set in interface java.util.List

subList

public java.util.List subList(int from,
                              int to)

Specified by:

subList in interface java.util.List

toArray

public java.lang.Object[] toArray()

Specified by:

toArray in interface java.util.List

toArray

public java.lang.Object[] toArray(java.lang.Object[] a)

Specified by:

toArray in interface java.util.List