 | PatternVariable Constructor |
Overload List| 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.
|
See Also