public class AssumptionUtil extends Object
Constructor and Description |
---|
AssumptionUtil() |
Modifier and Type | Method and Description |
---|---|
static <A extends Assumption<A>> |
equals(A a1,
A a2)
Check assumptions for equality.
|
static <A extends Assumption<A>> |
join(A a1,
A a2)
Join assumptions.
|
static <A extends Assumption<A>> |
join(List<A> assumptions)
Join assumptions from the list.
|
static <E,A extends Assumption<A>> |
join(List<E> edges,
AssumptionMap<E,A> assumptionMap) |
static <E,A extends Assumption<A>> |
setAssumptions(List<E> edges,
A assumption,
AssumptionMap<E,A> assumptionMap) |
static <E,A extends Assumption<A>> |
setAssumptions(List<E> edges,
List<A> assumptions,
AssumptionMap<E,A> assumptionMap) |
static <E,A extends Assumption<A>> |
toString(List<E> inEdges,
List<E> outEdges,
AssumptionMap<E,A> assumptionMap) |
public static <A extends Assumption<A>> boolean equals(A a1, A a2)
public static <A extends Assumption<A>> A join(A a1, A a2)
public static <A extends Assumption<A>> A join(List<A> assumptions)
public static <E,A extends Assumption<A>> A join(List<E> edges, AssumptionMap<E,A> assumptionMap)
public static <E,A extends Assumption<A>> void setAssumptions(List<E> edges, List<A> assumptions, AssumptionMap<E,A> assumptionMap)
public static <E,A extends Assumption<A>> void setAssumptions(List<E> edges, A assumption, AssumptionMap<E,A> assumptionMap)
public static <E,A extends Assumption<A>> String toString(List<E> inEdges, List<E> outEdges, AssumptionMap<E,A> assumptionMap)
Copyright © 2018. All rights reserved.