public static class QAOutputGenerator.Record extends Object
CNF
int
index
String
KIF
result
sen
Record(int index, String sen)
toString()
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
public int index
public String sen
public CNF CNF
public String KIF
public String result
public Record(int index, String sen)
public String toString()
toString
Object
Copyright © 2015. All rights reserved.