Package | Description |
---|---|
org.chocosolver.solver.constraints.nary.circuit | |
org.chocosolver.util.graphOperations.dominance |
Modifier and Type | Field and Description |
---|---|
protected AbstractLengauerTarjanDominatorsFinder |
PropCircuit_ArboFiltering.domFinder |
Modifier and Type | Class and Description |
---|---|
class |
AlphaDominatorsFinder
Class that finds dominators of a given flow graph g(s)
Uses the LT algorithm which runs in O(alpha.m)
|
class |
SimpleDominatorsFinder
Class that finds dominators of a given flow graph g(s)
Uses the simple LT algorithm which runs in O(m.log(n))
Fast in practice
|
Copyright © 2018. All rights reserved.