public class Prover9Test
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
(package private) static FolReasoner |
e |
(package private) FolWriter |
printer |
Constructor and Description |
---|
Prover9Test() |
Modifier and Type | Method and Description |
---|---|
static void |
init() |
void |
test1() |
void |
test2() |
void |
test3() |
static FolReasoner e
FolWriter printer