Package astra.term

Class ListTerm

java.lang.Object

astra.term.ListTerm

All Implemented Interfaces:

Term, Serializable, Iterable<Term>, Collection<Term>, List<Term>

public class ListTerm
extends Object
implements Term, List<Term>

See Also:

Serialized Form

Field Summary

Fields inherited from interface astra.term.Term

EMPTY_ARRAY, NULL_TERM

Constructor Summary

Constructors

Constructor	Description
ListTerm()
ListTerm(Term[] terms)

Method Summary

Modifier and Type	Method	Description
Object	accept(LogicVisitor visitor)
void	add(int index, Term element)
boolean	add(Term e)
boolean	addAll(int index, Collection<? extends Term> c)
boolean	addAll(Collection<? extends Term> c)
void	clear()
ListTerm	clone()
boolean	contains(Object o)
boolean	containsAll(Collection<?> c)
boolean	equals(Object object)
Term	get(int i)
int	indexOf(Object object)
boolean	isEmpty()
Iterator<Term>	iterator()
int	lastIndexOf(Object object)
ListIterator<Term>	listIterator()
ListIterator<Term>	listIterator(int index)
boolean	matches(Term right)
Object	merge(ListTerm r)
Term	remove(int index)
boolean	remove(Object arg0)
boolean	removeAll(Collection<?> c)
boolean	retainAll(Collection<?> c)
Term	set(int index, Term element)
String	signature()
int	size()
ListTerm	subList(int arg0, int arg1)
Term[]	terms()
Term[]	toArray()
<T> T[]	toArray(T[] a)
String	toString()
Type	type()

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.Collection

parallelStream, removeIf, stream, toArray

Methods inherited from interface java.lang.Iterable

forEach

Methods inherited from interface java.util.List

hashCode, replaceAll, sort, spliterator

Constructor Details

ListTerm

public ListTerm(Term[] terms)

ListTerm

public ListTerm()

Method Details

type

public Type type()

Specified by:

type in interface Term

accept

public Object accept(LogicVisitor visitor)

Specified by:

accept in interface Term

matches

public boolean matches(Term right)

Specified by:

matches in interface Term

signature

public String signature()

Specified by:

signature in interface Term

size

public int size()

Specified by:

size in interface Collection<Term>

Specified by:

size in interface List<Term>

get

public Term get(int i)

Specified by:

get in interface List<Term>

terms

public Term[] terms()

equals

public boolean equals(Object object)

Specified by:

equals in interface Collection<Term>

Specified by:

equals in interface List<Term>

Overrides:

equals in class Object

merge

public Object merge(ListTerm r)

toString

public String toString()

Overrides:

toString in class Object

clear

public void clear()

Specified by:

clear in interface Collection<Term>

Specified by:

clear in interface List<Term>

indexOf

public int indexOf(Object object)

Specified by:

indexOf in interface List<Term>

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface Collection<Term>

Specified by:

isEmpty in interface List<Term>

iterator

public Iterator<Term> iterator()

Specified by:

iterator in interface Collection<Term>

Specified by:

iterator in interface Iterable<Term>

Specified by:

iterator in interface List<Term>

lastIndexOf

public int lastIndexOf(Object object)

Specified by:

lastIndexOf in interface List<Term>

listIterator

public ListIterator<Term> listIterator()

Specified by:

listIterator in interface List<Term>

listIterator

public ListIterator<Term> listIterator(int index)

Specified by:

listIterator in interface List<Term>

remove

public boolean remove(Object arg0)

Specified by:

remove in interface Collection<Term>

Specified by:

remove in interface List<Term>

subList

public ListTerm subList(int arg0, int arg1)

Specified by:

subList in interface List<Term>

toArray

public Term[] toArray()

Specified by:

toArray in interface Collection<Term>

Specified by:

toArray in interface List<Term>

add

public boolean add(Term e)

Specified by:

add in interface Collection<Term>

Specified by:

add in interface List<Term>

add

public void add(int index, Term element)

Specified by:

add in interface List<Term>

addAll

public boolean addAll(Collection<? extends Term> c)

Specified by:

addAll in interface Collection<Term>

Specified by:

addAll in interface List<Term>

addAll

public boolean addAll(int index, Collection<? extends Term> c)

Specified by:

addAll in interface List<Term>

containsAll

public boolean containsAll(Collection<?> c)

Specified by:

containsAll in interface Collection<Term>

Specified by:

containsAll in interface List<Term>

removeAll

public boolean removeAll(Collection<?> c)

Specified by:

removeAll in interface Collection<Term>

Specified by:

removeAll in interface List<Term>

retainAll

public boolean retainAll(Collection<?> c)

Specified by:

retainAll in interface Collection<Term>

Specified by:

retainAll in interface List<Term>

set

public Term set(int index, Term element)

Specified by:

set in interface List<Term>

toArray

public <T> T[] toArray(T[] a)

Specified by:

toArray in interface Collection<Term>

Specified by:

toArray in interface List<Term>

contains

public boolean contains(Object o)

Specified by:

contains in interface Collection<Term>

Specified by:

contains in interface List<Term>

remove

public Term remove(int index)

Specified by:

remove in interface List<Term>

clone

public ListTerm clone()

Specified by:

clone in interface Term

Overrides:

clone in class Object