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