|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
| Class Summary | |
|---|---|
| CalculMUS | This class is the core class to compute a MUS. |
| CalculShapley | This class is the core class to compute Shapley values associated to formulae of the base |
| TestCalculeMUS | |
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||