UnitManager.java File Reference

Classes
interface	cz.muni.stanse.codestructures.UnitManager

Packages
package	cz.muni.stanse.codestructures
	defines public class CheckerError, which is base class for all the exceptions which can be thrown in concrete checkers.