Click or drag to resize

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.lgsp
Assembly: lgspBackend (in lgspBackend.dll) Version: GrGen.NET 7.1
Syntax
C#
public 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