| Package | Description |
|---|---|
| de.rwth.i2.attestor.graph |
Abstractions and implementations of various labeled graphs and heap configurations.
|
| de.rwth.i2.attestor.graph.digraph |
Implementation of a directed graph in which nodes are labeled with objects implementing NodeLabel
and edges are labeled with arbitrary objects.
|
| de.rwth.i2.attestor.graph.heap |
All abstractions needed to work with HeapConfigurations.
|
| de.rwth.i2.attestor.graph.heap.internal |
All the messy details to implement a
HeapConfiguration
as a bipartite directed labeled graph. |
| de.rwth.i2.attestor.graph.morphism |
This package implements algorithms to compute various kinds of graph morphisms.
|
| de.rwth.i2.attestor.phases.counterexamples.counterexampleGeneration.heapConfigurationPair | |
| de.rwth.i2.attestor.programState.defaultState | |
| de.rwth.i2.attestor.programState.indexedState | |
| de.rwth.i2.attestor.refinement | |
| de.rwth.i2.attestor.types |
Base type for all notions of types, i.e.
|
| Class and Description |
|---|
| NodeLabel
General interface for all node labels that may occur in as labels
of nodes in a
LabeledDigraph. |
| Class and Description |
|---|
| LabeledDigraph
A LabeledDigraph implements a directed graph with labeled nodes and labeled edges.
|
| NodeLabel
General interface for all node labels that may occur in as labels
of nodes in a
LabeledDigraph. |
| Class and Description |
|---|
| NodeLabel
General interface for all node labels that may occur in as labels
of nodes in a
LabeledDigraph. |
| Class and Description |
|---|
| NodeLabel
General interface for all node labels that may occur in as labels
of nodes in a
LabeledDigraph. |
| Class and Description |
|---|
| NodeLabel
General interface for all node labels that may occur in as labels
of nodes in a
LabeledDigraph. |
| Class and Description |
|---|
| NodeLabel
General interface for all node labels that may occur in as labels
of nodes in a
LabeledDigraph. |
| Class and Description |
|---|
| NodeLabel
General interface for all node labels that may occur in as labels
of nodes in a
LabeledDigraph. |
| Class and Description |
|---|
| NodeLabel
General interface for all node labels that may occur in as labels
of nodes in a
LabeledDigraph. |
| Class and Description |
|---|
| NodeLabel
General interface for all node labels that may occur in as labels
of nodes in a
LabeledDigraph. |
| Class and Description |
|---|
| NodeLabel
General interface for all node labels that may occur in as labels
of nodes in a
LabeledDigraph. |
Copyright © 2018. All rights reserved.