Package owl.automaton.edge
Class LabelledEdges
- java.lang.Object
-
- owl.automaton.edge.LabelledEdges
-
public final class LabelledEdges extends Object
-
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static <S> Collection<LabelledEdge<S>>
asCollection(Map<Edge<S>,ValuationSet> map)
static <S> Collection<Edge<S>>
edges(Collection<LabelledEdge<S>> labelledEdges)
static <S> Collection<S>
successors(Collection<LabelledEdge<S>> labelledEdges)
static <S> Collection<ValuationSet>
valuations(Collection<LabelledEdge<S>> labelledEdges)
-
-
-
Method Detail
-
valuations
public static <S> Collection<ValuationSet> valuations(Collection<LabelledEdge<S>> labelledEdges)
-
edges
public static <S> Collection<Edge<S>> edges(Collection<LabelledEdge<S>> labelledEdges)
-
successors
public static <S> Collection<S> successors(Collection<LabelledEdge<S>> labelledEdges)
-
asCollection
public static <S> Collection<LabelledEdge<S>> asCollection(Map<Edge<S>,ValuationSet> map)
-
-