public class SPASSTest extends java.lang.Object
TPTPTest
SPASSTest()
static void
init()
void
test1()
test2()
test3()
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public SPASSTest()
public static void init()
public void test1() throws java.lang.Exception
java.lang.Exception
public void test2() throws java.lang.Exception
public void test3() throws java.lang.Exception