public static class RewriteCommand.Parameters extends java.lang.Object
RewriteCommand
Term
find
formula
replace
Parameters()
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public Term find
public Term replace
public Term formula
public Parameters()