public class TRRule extends Object
TRRule(Formula condition, Action action)
void
execute(TRContext Context, Map<Integer,Term> bindings)
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait