public class LTLModel extends java.lang.Object
LTLModel()
java.lang.String
getFile()
void
setFile(java.lang.String file)
write(java.lang.String path)
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public LTLModel()
public void write(java.lang.String path)
public java.lang.String getFile()
public void setFile(java.lang.String file)