org.eth.cyril.model.constraintlanguage.quantifiers

Class QuantifierResolverManager

java.lang.Object

org.eth.cyril.model.constraintlanguage.quantifiers.QuantifierResolverManager

public final class QuantifierResolverManager
extends java.lang.Object

Method Summary

Modifier and Type	Method and Description
void	addQuantifierResolver(QuantifierResolver resolver)
boolean	canResolveQuantifier(java.lang.String quantifier)
static QuantifierResolverManager	getInstance()
java.util.Collection<java.lang.String>	getResolvableQuantifiers()
java.util.Set<Resolver>	resolveQuantifier(java.util.Set<Resolver> rootResolvers, java.lang.String quantifier, java.lang.String query)

Methods inherited from class java.lang.Object

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

Method Detail

getInstance

public static QuantifierResolverManager getInstance()

addQuantifierResolver

public void addQuantifierResolver(QuantifierResolver resolver)

canResolveQuantifier

public boolean canResolveQuantifier(java.lang.String quantifier)

getResolvableQuantifiers

public java.util.Collection<java.lang.String> getResolvableQuantifiers()

resolveQuantifier

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