cz.muni.stanse.checker.CheckingResult Class Reference

Inheritance diagram for cz.muni.stanse.checker.CheckingResult:

---

The documentation for this class was generated from the following file:

• src/cz/muni/stanse/checker/CheckingResult.java