public class ConstraintUnifier
extends java.lang.Object
Constructor and Description |
---|
ConstraintUnifier(SearchGraph graph) |
Modifier and Type | Method and Description |
---|---|
protected java.util.List<SearchConstraint> |
aggregateGroupConstraints(SearchNode parent,
java.util.List<SearchNode> nodes) |
protected java.util.List<SearchConstraint> |
collectGroupConstraints(SearchNode node) |
static java.util.List<SearchConstraint> |
collectUnunifiedGroupConstraints(SearchGraph graph) |
protected int |
feedConstraints(java.util.List<SearchConstraint> list,
SearchConstraint[] constraints) |
SearchGraph |
getGraph() |
java.util.List<SearchConstraint> |
getGroupConstraints() |
boolean |
hasGroupConstraints() |
SearchConstraint[] |
toGroupArray() |
public ConstraintUnifier(SearchGraph graph)
public SearchGraph getGraph()
public boolean hasGroupConstraints()
public java.util.List<SearchConstraint> getGroupConstraints()
public SearchConstraint[] toGroupArray()
protected java.util.List<SearchConstraint> collectGroupConstraints(SearchNode node)
protected java.util.List<SearchConstraint> aggregateGroupConstraints(SearchNode parent, java.util.List<SearchNode> nodes)
protected int feedConstraints(java.util.List<SearchConstraint> list, SearchConstraint[] constraints)
public static java.util.List<SearchConstraint> collectUnunifiedGroupConstraints(SearchGraph graph)