Package | Description |
---|---|
org.chocosolver.solver.constraints.nary.circuit | |
org.chocosolver.util.graphOperations.connectivity | |
org.chocosolver.util.graphOperations.dominance |
Modifier and Type | Field and Description |
---|---|
protected DirectedGraph |
PropCircuit_ArboFiltering.connectedGraph |
Constructor and Description |
---|
StrongConnectivityFinder(DirectedGraph graph) |
Modifier and Type | Field and Description |
---|---|
protected DirectedGraph |
AbstractLengauerTarjanDominatorsFinder.g |
protected DirectedGraph |
AbstractLengauerTarjanDominatorsFinder.T |
Modifier and Type | Method and Description |
---|---|
DirectedGraph |
AbstractLengauerTarjanDominatorsFinder.getDominatorTree()
Get the dominator tree formed with arcs (x,y)
such that x is the immediate dominator of y
|
Constructor and Description |
---|
AbstractLengauerTarjanDominatorsFinder(int s,
DirectedGraph g)
Object that finds dominators of the given flow graph g(s)
|
AlphaDominatorsFinder(int s,
DirectedGraph g)
Object that finds dominators of the given flow graph g(s)
It uses the LT algorithm which runs in O(alpha.m)
|
SimpleDominatorsFinder(int s,
DirectedGraph g)
Object that finds dominators of the given flow graph g(s)
It uses the simple LT algorithm which runs in O(m.log(n))
|
Copyright © 2018. All rights reserved.