de.be4.classicalb.core.parser.analysis.checking
Interfaces
SemanticCheck
Classes
ClausesCheck
ClausesCollector
DefinitionCollector
DefinitionPreCollector
DefinitionUsageCheck
IdentListCheck
PrimedIdentifierCheck
ProverExpressionsCheck
RefinedOperationCheck
SemicolonCheck