|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Interface Summary | |
---|---|
Checker | This interface is to be used when invoking a checker from the SOFA runtime. |
Class Summary | |
---|---|
BehaviorChecker | |
CheckingResult | This class contains results of behavior checking. |
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |