cz::muni::stanse::checker::CheckingResult Class Reference

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

[legend]

---

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

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