Package org.eth.cyril.model.constraintlanguage.quantifiers

Interface Summary

Interface	Description
QuantifierResolver	A quantifier resolver resolvers a query based on a single quantifier.

Class Summary

Class	Description
ForAllResolver
QuantifierResolverManager