public static final class GeneralizedRabinAcceptance.RabinPair
extends java.lang.Object
Modifier and Type | Method | Description |
---|---|---|
boolean |
contains(Edge<?> edge) |
|
boolean |
containsInfinite(Edge<?> edge) |
Checks whether the given edge is contained in any Inf set of this pair.
|
int |
finSet() |
|
void |
forEachIndex(java.util.function.IntConsumer action) |
|
void |
forEachInfSet(java.util.function.IntConsumer action) |
|
boolean |
hasInfSet() |
|
int |
infSet() |
|
int |
infSet(int number) |
|
int |
infSetCount() |
|
it.unimi.dsi.fastutil.ints.IntIterator |
infSetIterator() |
|
boolean |
isInfinite(int i) |
|
java.lang.String |
toString() |
public boolean contains(Edge<?> edge)
public boolean containsInfinite(Edge<?> edge)
edge
- The edge to be tested.edge
is contained in any Inf set.Edge.inSet(int)
public void forEachIndex(java.util.function.IntConsumer action)
public void forEachInfSet(java.util.function.IntConsumer action)
@Nonnegative public int finSet()
@Nonnegative public int infSet(int number)
@Nonnegative public int infSetCount()
public boolean hasInfSet()
public it.unimi.dsi.fastutil.ints.IntIterator infSetIterator()
public boolean isInfinite(int i)
public int infSet()
public java.lang.String toString()
toString
in class java.lang.Object