jtabwb.tracesupport

Interface _TraceManager

public interface _TraceManager

Method Summary

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.

Method Detail

getRuleByName

_AbstractRule getRuleByName(java.lang.String name,
                            _AbstractGoal premise,
                            _AbstractFormula mainFormula)
                     throws TraceSupportException

Returns the instance of the rule with the specified name applied to the specified arguments.

Parameters:

name - the name of the rule.

premise - the premise of the rule.

mainFormula - the main formula of the rule.

Returns:

the rule with the specified name.

Throws:

TraceSupportException