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)