de.rwth.i2.attestor.refinement

Interfaces

• HeapAutomaton
• RefinedNonterminal
• StatelessHeapAutomaton

Classes

• AutomatonStateLabelingStrategy
• AutomatonStateLabelingStrategyBuilder
• BundledStateRefinementStrategy
• HeapAutomatonState