Package owl.automaton.edge
Class LabelledEdge<S>
- java.lang.Object
-
- owl.automaton.edge.LabelledEdge<S>
-
public final class LabelledEdge<S> extends Object
-
-
Field Summary
Fields Modifier and Type Field Description Edge<S>edgeValuationSetvaluations
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description Edge<S>edge()booleanequals(Object o)voidforEach(BiConsumer<Edge<S>,BitSet> action)inthashCode()<T> LabelledEdge<T>map(Function<Edge<S>,Edge<T>> map)static <S> LabelledEdge<S>of(Map.Entry<Edge<S>,ValuationSet> entry)static <S> LabelledEdge<S>of(Edge<S> edge, ValuationSet valuations)static <S> LabelledEdge<S>of(S state, int acceptance, ValuationSet valuations)static <S> LabelledEdge<S>of(S state, BitSet acceptance, ValuationSet valuations)static <S> LabelledEdge<S>of(S state, ValuationSet valuations)Ssuccessor()StringtoString()ValuationSetvaluations()
-
-
-
Field Detail
-
valuations
public final ValuationSet valuations
-
-
Method Detail
-
of
public static <S> LabelledEdge<S> of(S state, ValuationSet valuations)
-
of
public static <S> LabelledEdge<S> of(S state, int acceptance, ValuationSet valuations)
-
of
public static <S> LabelledEdge<S> of(S state, BitSet acceptance, ValuationSet valuations)
-
of
public static <S> LabelledEdge<S> of(Edge<S> edge, ValuationSet valuations)
-
of
public static <S> LabelledEdge<S> of(Map.Entry<Edge<S>,ValuationSet> entry)
-
valuations
public ValuationSet valuations()
-
successor
public S successor()
-
map
public <T> LabelledEdge<T> map(Function<Edge<S>,Edge<T>> map)
-
forEach
public void forEach(BiConsumer<Edge<S>,BitSet> action)
-
-