Package owl.automaton.acceptance

Class GeneralizedRabinAcceptance.RabinPair

java.lang.Object

owl.automaton.acceptance.GeneralizedRabinAcceptance.RabinPair

All Implemented Interfaces:

Comparable<GeneralizedRabinAcceptance.RabinPair>

Enclosing class:

GeneralizedRabinAcceptance

public static final class GeneralizedRabinAcceptance.RabinPair
extends Object
implements Comparable<GeneralizedRabinAcceptance.RabinPair>

Method Summary

Modifier and Type	Method	Description
int	compareTo(GeneralizedRabinAcceptance.RabinPair o)
boolean	contains(Edge<?> edge)
boolean	contains(ImmutableBitSet indices)
boolean	containsInfinite(Edge<?> edge)	Checks whether the given edge is contained in any Inf set of this pair.
boolean	equals(Object o)
int	finSet()
void	forEachIndex(IntConsumer action)
void	forEachInfSet(IntConsumer action)
int	hashCode()
boolean	hasInfSet()
int	infSet()
int	infSet(int number)
int	infSetCount()
IntStream	infSetStream()
boolean	isInfinite(int i)
static GeneralizedRabinAcceptance.RabinPair	of(int finIndex)
static GeneralizedRabinAcceptance.RabinPair	ofGeneralized(int finIndex, int infSets)
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Method Detail

of

public static GeneralizedRabinAcceptance.RabinPair of(@Nonnegative
                                                      int finIndex)

ofGeneralized

public static GeneralizedRabinAcceptance.RabinPair ofGeneralized(@Nonnegative
                                                                 int finIndex,
                                                                 @Nonnegative
                                                                 int infSets)

contains

public boolean contains(ImmutableBitSet indices)

contains

public boolean contains(Edge<?> edge)

containsInfinite

public boolean containsInfinite(Edge<?> edge)

Checks whether the given edge is contained in any Inf set of this pair.

Parameters:

edge - The edge to be tested.

Returns:

If edge is contained in any Inf set.

See Also:

Edge.colours()

forEachIndex

public void forEachIndex(IntConsumer action)

forEachInfSet

public void forEachInfSet(IntConsumer action)

finSet

@Nonnegative
public int finSet()

infSet

@Nonnegative
public int infSet(int number)

infSetCount

@Nonnegative
public int infSetCount()

hasInfSet

public boolean hasInfSet()

infSetStream

public IntStream infSetStream()

isInfinite

public boolean isInfinite(int i)

infSet

public int infSet()

toString

public String toString()

Overrides:

toString in class Object

compareTo

public int compareTo(GeneralizedRabinAcceptance.RabinPair o)

Specified by:

compareTo in interface Comparable<GeneralizedRabinAcceptance.RabinPair>

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object