Constructor and Description |
---|
Theory(Collection<Clause<?,?>> clauses)
Creates a new instance of Theory
|
Theory(String s) |
Theory(String[] s) |
Modifier and Type | Method and Description |
---|---|
void |
appendTheory(Theory that) |
Clause<?,?>[] |
find(String name,
int arity) |
Struct |
marshal() |
static Theory |
unmarshal(Theory t) |
getHead, getTail, iterator, toJava, tokenize, toString
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
forEach, spliterator
public Theory(Collection<Clause<?,?>> clauses)
public Theory(String s)
public Theory(String[] s)