Package agg.xt_basis

Interface Summary
CompletionPropertyBits This interface defines symbolic names for the properties that can be asked from a morphism completion strategy.
GraTraEventListener  
Morphism Minimal interface for (read only) operation on a graph morphism.
Type Instances of this class are used for dynamic typing of graphobjects.
 

Class Summary
AGGBasicAppl  
ALR_CSP A CSP whose solutions represent morphisms between two graphs.
ALR_InheritCSP A CSP whose solutions represent morphisms between two graphs.
Arc  
ArcTypeImpl This new class still not used!
BaseFactory A factory class for Graphs, Morphisms, Rules, Matches.
ColimDiagram This class allows for representation of general diagrams of graphs and for computation of their colimit.
Completion_CSP An implementation of morphism completion as a Constraint Satisfaction Problem (CSP).
Completion_CSP_NoBJ An implementation of morphism completion as a Constraint Satisfaction Problem (CSP).
Completion_InheritCSP An implementation of morphism completion as a Constraint Satisfaction Problem (CSP).
Completion_InjCSP An implementation of morphism completion as a Constraint Satisfaction Problem (CSP), considering injective solutions only.
Completion_NAC A decorator class which adds support for negative application conditions (NACs) to a given completion strategy implementation.
Completion_SimpleBT Deprecated. not used anymore
CompletionStrategySelector This class contains an instance of every available completion strategy associated with a minimal description.
Constraint_Attribute  
Constraint_InheritAttribute Please note: This class is only for internal use of the critical pair analysis for grammars with node type inheritance.
Constraint_InheritSource  
Constraint_InheritTarget  
Constraint_InheritType Please note: This class is only for internal use of the critical pair analysis for grammars with node type inheritance.
Constraint_Source  
Constraint_Target  
Constraint_Type  
Convert_ImageOf Deprecated. not used anymore
Convert_SourceOf Deprecated. not used anymore
Convert_TargetOf Deprecated. not used anymore
CopyMemory  
DefaultGraTraImpl  
GraGra GraGra provides the functionality of a simple graph grammar, consisting of exactly one graph (the "host graph"), an arbitrary number of graph rules, and an arbitrary number of match morphisms from the rules into the start graph.
Graph This class extends simple graphs with the possibility to have arcs between nodes.
GraphKind  
GraphObject GraphObject defines the common interface and implementations for Nodes and Arcs.
GraTra  
GraTraEvent GraTraEvents liefern Nachrichten über den Status einer Transformation oder aufgetretene Fehler.
GraTraOptions This class defines the options for graph transformation, backed by a vector of names.
LayeredGraTraImpl  
Match This class is used to represent matches (morphism from the left side graph of a rule into a host graph).
MatchHelper  
MorphCompletionStrategy  
NACStarMorphism This class is just a workaround for lacking AttrContext functionality.
Node  
NodeTypeImpl This new class still not used!
OrdinaryMorphism Implementation of a graph morphism.
OrdinarySubMorphism Deprecated. not more supported
PACStarMorphism This class is just a workaround for lacking AttrContext functionality.
PriorityGraTraImpl  
Query_Incoming  
Query_Outgoing  
Query_Source  
Query_Target  
Query_Type  
Rule At the moment, AGG implements the DPO approach by switching on the * dangling-edge-condition by default.
RuleLayer Rule layer is a set of rule layer of a given layered graph grammar.
RulePriority Rule priority is a set of rule priority of a given graph grammar.
RuleSequencesGraTraImpl  
Step This class implements a direct graph transformation step in the single pushout (SPO) approach to algebraic graph transformation.
SubGraGra Deprecated. not more supported
SubGraph Deprecated. not more supported
SubMatch Deprecated. not more supported
SubRule Deprecated. not more supported
TypeError This object stand for an error while type checking.
TypeGraph  
TypeImpl The type of a graph object is here defined.
TypeSet Manages the types of a set of graphs.
Version This class provides the current version number
 

Exception Summary
BadMappingException This Exception is thrown by methods of the class OrdinaryMorphism, especially by addMapping(), to indicate a violation of some morphism property.
MappingEvent This Exception is thrown by methods of the class OrdinaryMorphism, especially by addMapping(), to indicate a violation of some morphism property.
TypeException This Exception will be thrown if an invalid typed graph object will be added to the graph