public class InferenceVariablesOrder
extends java.lang.Object
| Modifier and Type | Class and Description |
|---|---|
static class |
InferenceVariablesOrder.InferenceGraphNode<T> |
| Constructor and Description |
|---|
InferenceVariablesOrder() |
| Modifier and Type | Method and Description |
|---|---|
static java.util.Map<InferenceVariable,java.util.Set<InferenceVariable>> |
getDependencies(java.util.Collection<? extends InferenceVariable> vars,
InferenceSession session) |
static <T> java.util.ArrayList<InferenceVariablesOrder.InferenceGraphNode<T>> |
initNodes(java.util.Collection<? extends InferenceVariablesOrder.InferenceGraphNode<T>> allNodes) |
static java.util.List<InferenceVariable> |
resolveOrder(java.util.List<InferenceVariable> vars,
java.util.Map<InferenceVariable,java.util.Set<InferenceVariable>> depMap) |
static java.util.Iterator<java.util.List<InferenceVariable>> |
resolveOrderIterator(java.util.Collection<? extends InferenceVariable> vars,
InferenceSession session) |
static <T> java.util.List<java.util.List<InferenceVariablesOrder.InferenceGraphNode<T>>> |
tarjan(java.util.Collection<? extends InferenceVariablesOrder.InferenceGraphNode<T>> nodes) |
static <T> java.util.List<java.util.List<InferenceVariablesOrder.InferenceGraphNode<T>>> |
tarjan(java.util.Collection<? extends InferenceVariablesOrder.InferenceGraphNode<T>> nodes,
int limit) |
public static java.util.List<InferenceVariable> resolveOrder(java.util.List<InferenceVariable> vars, java.util.Map<InferenceVariable,java.util.Set<InferenceVariable>> depMap)
public static java.util.Iterator<java.util.List<InferenceVariable>> resolveOrderIterator(java.util.Collection<? extends InferenceVariable> vars, InferenceSession session)
public static java.util.Map<InferenceVariable,java.util.Set<InferenceVariable>> getDependencies(java.util.Collection<? extends InferenceVariable> vars, InferenceSession session)
public static <T> java.util.List<java.util.List<InferenceVariablesOrder.InferenceGraphNode<T>>> tarjan(java.util.Collection<? extends InferenceVariablesOrder.InferenceGraphNode<T>> nodes)
public static <T> java.util.List<java.util.List<InferenceVariablesOrder.InferenceGraphNode<T>>> tarjan(java.util.Collection<? extends InferenceVariablesOrder.InferenceGraphNode<T>> nodes, int limit)
public static <T> java.util.ArrayList<InferenceVariablesOrder.InferenceGraphNode<T>> initNodes(java.util.Collection<? extends InferenceVariablesOrder.InferenceGraphNode<T>> allNodes)