org.eth.cyril.model.constraintlanguage.quantifiers

Interface QuantifierResolver

All Known Implementing Classes:

ForAllResolver

public interface QuantifierResolver

A quantifier resolver resolvers a query based on a single quantifier. See also QuantifierResolverManager, where multiple such resolvers are managed.

Method Summary

Modifier and Type	Method and Description
java.lang.String	getResolvableQuantifier() Get the quantifier which can be resolved by this instance.
java.util.Set<Resolver>	resolveQuantifier(java.util.Set<Resolver> rootResolvers, java.lang.String query) Resolve the given query for the given set of root resolvers for this quantifier.

Method Detail

getResolvableQuantifier

java.lang.String getResolvableQuantifier()

Get the quantifier which can be resolved by this instance.

resolveQuantifier

java.util.Set<Resolver> resolveQuantifier(java.util.Set<Resolver> rootResolvers,
                                          java.lang.String query)

Resolve the given query for the given set of root resolvers for this quantifier.

Parameters:

rootResolvers - The set of root resolvers to start the search at.

query - The query to resolve.

Returns:

The set of resolvers based on the quantifier, the query and the set of root resolvers.