Package org.grinvin.conjecture.filter

Interface Summary
GraphFilter	Interface for a filter on graphs.
GraphFilterListener

Class Summary
AbstractGraphFilter	Basic implementation of GraphFilter that offers the possibility for negation.
BooleanValueGraphFilter	GraphFilter that filters graphs based on the value of an invariant that returns a BooleanValue.
CompoundGraphFilter
CompoundGraphFilter.Operator
GraphFilterManager	Loads GraphFilters from elements.