public class TermList extends Object
| Modifier and Type | Method and Description |
|---|---|
void |
clear() |
List<TermList> |
getDefiner(Map<String,List<TermList>> db) |
TermList |
getNext() |
Term |
getTerm() |
TermList |
insert(TermList termList) |
TermList |
instantiate(List<Term> variables) |
void |
instantiate(List<Term> variables,
TermList termList) |
void |
remove() |
String |
toString() |
Copyright © 2014 Intersult GmbH. All rights reserved.