Pattern |
| Name | Description | |
|---|---|---|
| PatternVariable(PatternVariable, String) | Instantiates a new PatternVariable object as a copy from an original variable under renaming. | |
| PatternVariable(PatternVariable, PatternGraphEmbedding, PatternGraph, String) | Instantiates a new PatternVariable object as a copy from an original variable, used for inlining. | |
| PatternVariable(VarType, String, String, Int32, Boolean, Expression) | Instantiates a new PatternVariable object. |