Package owl.automaton.algorithm.simulations

Class ColorRefinement.NeighborType

java.lang.Object

owl.automaton.algorithm.simulations.ColorRefinement.NeighborType

Enclosing class:

ColorRefinement<S>

public abstract static class ColorRefinement.NeighborType
extends Object

Represents a neighbor type consisting of color and associated valuation.

Constructor Summary

Constructors

Constructor	Description
NeighborType()

Method Summary

Modifier and Type	Method	Description
abstract boolean	accepting()
abstract int	colour()
boolean	dominates(ColorRefinement.NeighborType other, owl.automaton.algorithm.simulations.ColorRefinement.Ordering ord)	Tests whether the neighbor type dominates another one, which holds if the other color is subsumed wrt.
abstract BddSetFactory	factory()
static ColorRefinement.NeighborType	of(int colour, BitSet set, BddSetFactory factory, boolean a)
String	toString()
abstract int	valuation()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

NeighborType

public NeighborType()

Method Detail

colour

public abstract int colour()

valuation

public abstract int valuation()

accepting

public abstract boolean accepting()

factory

public abstract BddSetFactory factory()

of

public static ColorRefinement.NeighborType of(int colour,
                                              BitSet set,
                                              BddSetFactory factory,
                                              boolean a)

dominates

public boolean dominates(ColorRefinement.NeighborType other,
                         owl.automaton.algorithm.simulations.ColorRefinement.Ordering ord)

Tests whether the neighbor type dominates another one, which holds if the other color is subsumed wrt. the ordering and the valuations indicate that whenever the other transition can be taken, this transition can also be taken.

Parameters:

other - The other neighbor type.

ord - Ordering to compare against.

Returns:

true if and only if this neighborhood dominates the other.

toString

public String toString()

Overrides:

toString in class Object