Class BooleanValueGraphFilter

java.lang.Object
- org.grinvin.conjecture.filter.AbstractGraphFilter
- - org.grinvin.conjecture.filter.BooleanValueGraphFilter

public class BooleanValueGraphFilter

extends AbstractGraphFilter

GraphFilter that filters graphs based on the value of an invariant that returns a BooleanValue.

Constructor Summary
`BooleanValueGraphFilter(Invariant invariant)`
`BooleanValueGraphFilter(Invariant invariant, boolean negate)`

Method Summary
`@Override`	`String getDescription()`
`boolean`	`accepts_impl(GraphBundleView gb)`
`@Override`	`boolean accepts(GraphBundleView gb)`
`void`	`fromElement(Element element)`
`String`	`getDescription_impl()`
`Element`	`toElement()`

Methods inherited from class org.grinvin.conjecture.filter.AbstractGraphFilter
`accepts`, `accepts_impl`, `addGraphFilterListener`, `fireFilterChanged`, `getDescription`, `getDescription_impl`, `isNegated`, `negate`, `removeGraphFilterListener`

public BooleanValueGraphFilter(Invariant invariant)

public BooleanValueGraphFilter(Invariant invariant,
                               boolean negate)

public @Override String getDescription()

public boolean accepts_impl(GraphBundleView gb)

Overrides:
accepts_impl in interface AbstractGraphFilter

public @Override boolean accepts(GraphBundleView gb)

public void fromElement(Element element)

Specified by:
fromElement in interface GraphFilter

public String getDescription_impl()

Overrides:
getDescription_impl in interface AbstractGraphFilter

public Element toElement()

Specified by:
toElement in interface GraphFilter

Overview Package Tree Index Deprecated About
Prev Class \| Next Class	Frames \| No Frames
Summary: Nested \| Field \| Method \| Constr	Detail: Nested \| Field \| Method \| Constr

Constructor Summary