Package org.coode.patterns.locality

Interface Summary

Interface	Description
LocalityEvaluator	Copyright: Copyright (c) 2007 Company: Clark & Parsia, LLC.

Class Summary

Class	Description
AxiomLocality
BottomReplacer
LocalityChecker
LocalityCheckerLeafBrusher
SemanticLocalityEvaluator	Copyright: Copyright (c) 2007 Company: Clark & Parsia, LLC.
SigmaPlusSigmaMinus	holder for the extra symbols, one to be added to the signature, one to stay outside the signature