- All Implemented Interfaces:
Unary
public class ComponentSubst
extends java.lang.Object
implements Unary
This class handles the substitution g = A where g is a Graph and A is a set
of Graph. Each graph gArg in Arg is split into components (gArg=c1*c2*c3)
and if a component ci "matches" g then we return A*product(cj) where j!=i.
The comparisons are made without regard to root points and when constructing
the product to return, we pay attention only to the number of root points in
ci (if ci has n root nodes, then we make n root nodes in each graph from A).