org.coode.patterns.locality

Interfaces

• LocalityEvaluator

Classes

• AxiomLocality
• BottomReplacer
• LocalityChecker
• LocalityCheckerLeafBrusher
• SemanticLocalityEvaluator
• SigmaPlusSigmaMinus