Prev Class | Next Class | Frames | No Frames |
Summary: Nested | Field | Method | Constr | Detail: Nested | Field | Method | Constr |
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 | |
| |
|
Method Summary | |
@Override | |
boolean | |
@Override | |
void |
|
String | |
Element |
Methods inherited from class org.grinvin.conjecture.filter.AbstractGraphFilter | |
accepts , accepts_impl , addGraphFilterListener , fireFilterChanged , getDescription , getDescription_impl , isNegated , negate , removeGraphFilterListener |
public @Override String getDescription()
public boolean accepts_impl(GraphBundleView gb)
- Overrides:
- accepts_impl in interface AbstractGraphFilter
public void fromElement(Element element)
- Specified by:
- fromElement in interface GraphFilter
public String getDescription_impl()
- Overrides:
- getDescription_impl in interface AbstractGraphFilter