public static class InstantiateCommand.Parameters extends java.lang.Object
Term
formula
java.lang.String
hide
int
occ
var
with
Parameters()
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public Term formula
public java.lang.String var
public int occ
public java.lang.String hide
public Term with
public Parameters()