org.eth.cyril.model.constraintlanguage.quantifiers

Class ForAllResolver

java.lang.Object

org.eth.cyril.model.constraintlanguage.quantifiers.ForAllResolver

All Implemented Interfaces:

QuantifierResolver

class ForAllResolver
extends java.lang.Object
implements QuantifierResolver

Constructor Summary

Constructors

Constructor and Description
ForAllResolver()

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.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ForAllResolver

ForAllResolver()

Method Detail

getResolvableQuantifier

public java.lang.String getResolvableQuantifier()

Description copied from interface: QuantifierResolver

Get the quantifier which can be resolved by this instance.

Specified by:

getResolvableQuantifier in interface QuantifierResolver

resolveQuantifier

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

Description copied from interface: QuantifierResolver

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

Specified by:

resolveQuantifier in interface QuantifierResolver

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.