| Name | Description |
|---|---|
| benefitGreedyConIn | Enabling Input Transition by Benefit and Greedy |
| benefitGreedyConOut | Enabling Output Transition by Benefit and Greedy |
| benefitGreedyDisIn | Enabling Input Transition by Benefit and Greedy |
| benefitGreedyDisOut | Enabling Output Transition by Benefit and Greedy |
| benefitQuotientConIn | Enabling Input Transition by Benefit and Quotient |
| benefitQuotientConOut | Enabling Output Transition by Benefit and Benefit Quotient |
| benefitQuotientDisIn | Enabling Input Transition by Benefit and Quotient |
| benefitQuotientDisOut | Enabling Output Transition by Benefit and Benefit Quotient |
| benefitBaBConIn | Enabling Input Transition by Benefit and Branch and Bound |
| benefitBaBConOut | Enabling Output Transition by Benefit and Branch and Bound |
| benefitBaBDisIn | Enabling Input Transition by Benefit and Branch and Bound |
| benefitBaBDisOut | Enabling Output Transition by Benefit and Branch and Bound |