![]() | PatternYielding Constructor |
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.
|