Package de.rwth.i2.attestor.graph

Abstractions and implementations of various labeled graphs and heap configurations.

See: Description

Interface Summary

Interface	Description
Nonterminal	General interface for nonterminal symbols.
SelectorLabel	General Interface for labels of selector edges.

Class Summary

Class	Description
BasicNonterminal	A simple standard implementation of nonterminal symbols.
BasicNonterminal.Factory
BasicSelectorLabel	A general implementation of selector labels that consists of a single label.
BasicSelectorLabel.Factory

Package de.rwth.i2.attestor.graph Description

Abstractions and implementations of various labeled graphs and heap configurations. Furthermore, this package provides algorithms to manipulate and analyze these graphs.

Author:

Christoph