public final class NodeOrthogonalizer
extends java.lang.Object
Orthogonal nodes are mutually incompatible.
Modifier and Type | Method and Description |
---|---|
static java.util.List<ru.ispras.fortress.expression.Node> |
orthogonalizeNodes(java.util.Collection<java.util.Collection<ru.ispras.fortress.expression.Node>> preStates)
Orthogonalizes the specified collections of nodes into orthogonal nodes.
|
public static java.util.List<ru.ispras.fortress.expression.Node> orthogonalizeNodes(java.util.Collection<java.util.Collection<ru.ispras.fortress.expression.Node>> preStates)
preStates
- Collections of nodes to be processed.