GrGen.NET v4.4 API: the libGr class library (the type exact interface gets generated)
ReuseOptimization Property
Namespacesde.unika.ipd.grGen.libGrIGraphReuseOptimization
If true (the default case), elements deleted during a rewrite may be reused in the same rewrite. As a result new elements may not be discriminable anymore from already deleted elements using object equality, hash maps, etc. In cases where this is needed this optimization should be disabled.
Declaration Syntax
C#
bool ReuseOptimization { get; set; }

Assembly: libGr (Module: libGr) Version: 4.4.0.0 (4.4.0.0)