Package de.rwth.i2.attestor.graph.heap.internal

All the messy details to implement a HeapConfiguration as a bipartite directed labeled graph.

See: Description

Class Summary

Class	Description
InternalHeapConfiguration	An implementation of HeapConfiguration based on bipartite graphs, which are implemented in LabeledDigraph.
InternalHeapConfigurationBuilder	All the messy details of a HeapConfigurationBuilder for InternalHeapConfigurations.
InternalMatching	Implementation of Matching for InternalHeapConfiguration.
InternalNonterminalEdgeBuilder

Package de.rwth.i2.attestor.graph.heap.internal Description

All the messy details to implement a HeapConfiguration as a bipartite directed labeled graph.