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