Interface | Description |
---|---|
IReductionRule |
Class | Description |
---|---|
ReductionEngine | |
ReductionEngineDefault | |
RuleMergePointTauPoint |
SC Reduction Rule: Merge Point-Tau-Point
|
RuleMergePointTauSimple |
SC Reduction Rule: Merge Point-Tau-Simple
|
RuleMergeSimpleTauPoint |
SC Reduction Rule: Merge Simple-Tau-Point
|
RuleMergeTauPointTau |
SC Reduction Rule: Merge Tau-Point-Tau
|
RuleRemoveExtraPointTauPoint |
SC Reduction Rule: Remove extra Point-Tau-Point
|
RuleRemovePointSelfloop |
SC Reduction Rule: Remove point self loops
|