public interface _TraceManager
Modifier and Type | Method and Description |
---|---|
_AbstractRule |
getRuleByName(java.lang.String name,
_AbstractGoal premise,
_AbstractFormula mainFormula)
Returns the instance of the rule with the specified name applied to the
specified arguments.
|
_AbstractRule getRuleByName(java.lang.String name, _AbstractGoal premise, _AbstractFormula mainFormula) throws TraceSupportException
name
- the name of the rule.premise
- the premise of the rule.mainFormula
- the main formula of the rule.TraceSupportException