public class WeightedEdgeGraphFilter extends GeneralEdgeAcceptFilter implements LevelFilter, EfficientFilter
Constructor and Description |
---|
WeightedEdgeGraphFilter(int threshold,
EdgeWeightLabeller el) |
Modifier and Type | Method and Description |
---|---|
boolean |
acceptEdge(Edge e)
Determines whether the current edge should be accepted
into the Graph.
|
java.lang.String |
getName()
(non-Javadoc)
|
int |
getValue() |
void |
setValue(int threshold) |
filter, filter
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
filter
public WeightedEdgeGraphFilter(int threshold, EdgeWeightLabeller el)
public java.lang.String getName()
getName
in interface Filter
Filter.getName()
public void setValue(int threshold)
setValue
in interface LevelFilter
public int getValue()
getValue
in interface LevelFilter
public boolean acceptEdge(Edge e)
GeneralEdgeAcceptFilter
acceptEdge
in class GeneralEdgeAcceptFilter
e
- the input edge that is being evaluated.