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.
BooleanValueGraphFilterGraphFilter that filters graphs based on the value of an invariant that returns a BooleanValue.
CompoundGraphFilter
CompoundGraphFilter.Operator
GraphFilterManager Loads GraphFilters from elements.