private static class RuleCommand.Parameters extends Object
(package private) Term
formula
(package private) int
occ
on
(package private) String
rulename
private
RuleCommand.Parameters()
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
String rulename
Term on
Term formula
int occ
private RuleCommand.Parameters()