org.grinvin.conjecture.filter
Class AbstractGraphFilter
java.lang.Object
org.grinvin.conjecture.filter.AbstractGraphFilter
- GraphFilter
public abstract class AbstractGraphFilter
extends java.lang.Object
Basic implementation of GraphFilter that offers the possibility for negation.
AbstractGraphFilter
public AbstractGraphFilter()
Creates a new instance of AbstractGraphFilter
AbstractGraphFilter
public AbstractGraphFilter(boolean negate)
fireFilterChanged
public void fireFilterChanged()
getDescription_impl
public abstract String getDescription_impl()