Class | Description |
---|---|
Atom | |
Bool | |
Clause<H extends Term<?>,B extends Term<?>> | |
Compound<X extends Compound<?>> | |
Compound1<X1 extends Term<?>> | |
Compound2<X1 extends Term<?>,X2 extends Term<?>> | |
Compound3<X1 extends Term<?>,X2 extends Term<?>,X3 extends Term<?>> | |
Cons<H extends Term<?>,R extends Compound<?>> | |
Double | |
Int | |
JavaObject<O> | |
JavaTerm<O> | |
List<X extends Term<?>> | |
Nil | |
Term<X extends Term<?>> | |
Theory | |
Var<X extends Term<?>> |