 | PatternGraph(String, String, String, String, Boolean, Boolean, PatternNode, PatternEdge, PatternVariable, PatternGraphEmbedding, Alternative, Iterated, PatternGraph, PatternGraph, PatternCondition, PatternYielding, Boolean, Boolean, Boolean, Boolean, Boolean, Boolean) Constructor |
Constructs a PatternGraph object.
Namespace: de.unika.ipd.grGen.lgspAssembly: lgspBackend (in lgspBackend.dll) Version: GrGen.NET 7.1
Syntaxpublic PatternGraph(
string name,
string pathPrefix,
string package,
string packagePrefixedName,
bool isPatternpathLocked,
bool isIterationBreaking,
PatternNode[] nodes,
PatternEdge[] edges,
PatternVariable[] variables,
PatternGraphEmbedding[] embeddedGraphs,
Alternative[] alternatives,
Iterated[] iterateds,
PatternGraph[] negativePatternGraphs,
PatternGraph[] independentPatternGraphs,
PatternCondition[] conditions,
PatternYielding[] yieldings,
bool[,] homomorphicNodes,
bool[,] homomorphicEdges,
bool[,] homomorphicNodesGlobal,
bool[,] homomorphicEdgesGlobal,
bool[] totallyHomomorphicNodes,
bool[] totallyHomomorphicEdges
)
Parameters
- name String
- The name of the pattern graph.
- pathPrefix String
- Prefix for name from nesting path.
- package String
- null if this is a global pattern graph, otherwise the package the pattern graph is contained in.
- packagePrefixedName String
- The name of the pattern graph in case of a global type,
the name of the pattern graph is prefixed by the name of the package otherwise (package "::" name).
- isPatternpathLocked Boolean
- Tells whether the elements from the parent patterns (but not sibling patterns)
should be isomorphy locked, i.e. not again matchable, even in negatives/independents,
which are normally hom to all. This allows to match paths without a specified end,
eagerly, i.e. as long as a successor exists, even in case of a cycles in the graph.
- isIterationBreaking Boolean
- If this pattern graph is a negative or independent nested inside an iterated,
it breaks the iterated instead of only the current iterated case (if true).
- nodes PatternNode
- An array of all pattern nodes.
- edges PatternEdge
- An array of all pattern edges.
- variables PatternVariable
- An array of all pattern variables.
- embeddedGraphs PatternGraphEmbedding
- An array with subpattern embeddings,
i.e. subpatterns and the way they are connected to the pattern.
- alternatives Alternative
- An array of alternatives, each alternative contains
in its cases the subpatterns to choose out of.
- iterateds Iterated
- An array of iterated patterns, each iterated is matched as often as possible within the specified bounds.
- negativePatternGraphs PatternGraph
- An array of negative pattern graphs which make the
search fail if they get matched (NACs - Negative Application Conditions).
- independentPatternGraphs PatternGraph
- An array of independent pattern graphs which make the
search fail if they don't get matched (PACs - Positive Application Conditions).
- conditions PatternCondition
- The conditions used in this pattern graph or its nested graphs.
- yieldings PatternYielding
- The yieldings used in this pattern graph or its nested graphs.
- homomorphicNodes Boolean
- A two-dimensional array describing which pattern node may
be matched non-isomorphic to which pattern node.
- homomorphicEdges Boolean
- A two-dimensional array describing which pattern edge may
be matched non-isomorphic to which pattern edge.
- homomorphicNodesGlobal Boolean
- A two-dimensional array describing which pattern node
may be matched non-isomorphic to which pattern node globally, i.e. the nodes are contained
in different, but locally nested patterns (alternative cases, iterateds).
- homomorphicEdgesGlobal Boolean
- A two-dimensional array describing which pattern edge
may be matched non-isomorphic to which pattern edge globally, i.e. the edges are contained
in different, but locally nested patterns (alternative cases, iterateds).
- totallyHomomorphicNodes Boolean
- An array telling which pattern node is to be matched non-isomorphic(/independent) against any other node.
- totallyHomomorphicEdges Boolean
- An array telling which pattern edge is to be matched non-isomorphic(/independent) against any other edge.
See Also