![]() | Pattern |
Name | Description | |
---|---|---|
![]() | PatternYielding(PatternYielding, PatternGraphEmbedding, String) | Instantiates a new PatternYielding object as a copy from an original yielding, used for inlining. |
![]() | PatternYielding(String, Yielding, String, String, String, PatternNode, PatternEdge, PatternVariable) | Constructs a PatternYielding object. |