Package correspondenceComputations

Class Summary
ComputationSetting  
ComputationUtility  
PropertyChain  
QualifiedRestriction  
UnqualifiedRestriction  
ValueRestriction