Constructor and Description |
---|
Theory(java.util.Collection<Clause<?,?>> clauses)
Creates a new instance of Theory
|
Theory(java.lang.String s) |
Theory(java.lang.String[] s) |
Modifier and Type | Method and Description |
---|---|
void |
appendTheory(Theory that) |
Clause<?,?>[] |
find(java.lang.String name,
int arity) |
Struct |
marshal() |
static Theory |
unmarshal(Theory t) |
getHead, getTail, iterator, toJava, tokenize, toString
public Theory(java.util.Collection<Clause<?,?>> clauses)
public Theory(java.lang.String s)
public Theory(java.lang.String[] s)