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