|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
| Class Summary | |
|---|---|
| DrasticOperator | This class represents the weakening function in which weakened form of formulae is a tautology |
| WeakOperator | This class is the one to extend when one wants to develop its own weakening function in the conciliation tab. |
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||