public class ConformST extends java.lang.Object
ConformST()
static void
check(PrologDB.DB db)
main(java.lang.String... args)
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public ConformST()
public static void main(java.lang.String... args)
public static void check(PrologDB.DB db)