public final class LabelledEdge<S>
extends java.lang.Object
Modifier and Type | Field | Description |
---|---|---|
Edge<S> |
edge |
|
ValuationSet |
valuations |
Modifier and Type | Method | Description |
---|---|---|
boolean |
equals(java.lang.Object o) |
|
Edge<S> |
getEdge() |
|
ValuationSet |
getValuations() |
|
int |
hashCode() |
|
static <S> LabelledEdge<S> |
of(java.util.Map.Entry<Edge<S>,ValuationSet> entry) |
|
static <S> LabelledEdge<S> |
of(Edge<S> edge,
ValuationSet valuations) |
|
static <S> LabelledEdge<S> |
of(S state,
ValuationSet valuations) |
|
java.lang.String |
toString() |
public final ValuationSet valuations
public static <S> LabelledEdge<S> of(S state, ValuationSet valuations)
public static <S> LabelledEdge<S> of(Edge<S> edge, ValuationSet valuations)
public static <S> LabelledEdge<S> of(java.util.Map.Entry<Edge<S>,ValuationSet> entry)
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public ValuationSet getValuations()
public int hashCode()
hashCode
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object