Uses of Class
astra.term.ListTerm

Packages that use ListTerm

Package	Description
astra.term

Uses of ListTerm in astra.term

Methods in astra.term that return ListTerm

Modifier and Type	Method	Description
ListTerm	ListTerm.clone()
ListTerm	ListTerm.subList(int arg0, int arg1)

Methods in astra.term with parameters of type ListTerm

Modifier and Type	Method	Description
Object	ListTerm.merge(ListTerm r)