cz::muni::stanse::configuration Namespace Reference


Classes

class  CheckerConfiguration
class  Configuration
class  SourceConfiguration

Namespaces

namespace  source_enumeration
 defines public class, which is base class for all the exceptions which can be thrown in SourceCodeEnumerators.


Generated on Thu Jan 13 16:24:09 2011 for Stanse by  doxygen 1.5.6