Uses of Package
de.rwth.i2.attestor.refinement

Packages that use de.rwth.i2.attestor.refinement

Package	Description
de.rwth.i2.attestor.phases.parser
de.rwth.i2.attestor.phases.preprocessing
de.rwth.i2.attestor.phases.transformers
de.rwth.i2.attestor.programState.defaultState
de.rwth.i2.attestor.refinement
de.rwth.i2.attestor.refinement.balanced
de.rwth.i2.attestor.refinement.grammarRefinement
de.rwth.i2.attestor.refinement.identicalNeighbourhood
de.rwth.i2.attestor.refinement.languageInclusion
de.rwth.i2.attestor.refinement.pointsTo
de.rwth.i2.attestor.refinement.product
de.rwth.i2.attestor.refinement.reachability
de.rwth.i2.attestor.refinement.variableRelation
de.rwth.i2.attestor.refinement.visited

Classes in de.rwth.i2.attestor.refinement used by de.rwth.i2.attestor.phases.parser

Class and Description
AutomatonStateLabelingStrategyBuilder

Classes in de.rwth.i2.attestor.refinement used by de.rwth.i2.attestor.phases.preprocessing

Class and Description
AutomatonStateLabelingStrategyBuilder

Classes in de.rwth.i2.attestor.refinement used by de.rwth.i2.attestor.phases.transformers

Class and Description
AutomatonStateLabelingStrategyBuilder

Classes in de.rwth.i2.attestor.refinement used by de.rwth.i2.attestor.programState.defaultState

Class and Description
HeapAutomatonState
RefinedNonterminal A symbol that is annotated with a heap automaton state.

Classes in de.rwth.i2.attestor.refinement used by de.rwth.i2.attestor.refinement

Class and Description
AutomatonStateLabelingStrategy
AutomatonStateLabelingStrategyBuilder
HeapAutomaton
HeapAutomatonState
RefinedNonterminal A symbol that is annotated with a heap automaton state.
StatelessHeapAutomaton A very simplified heap automaton that has exactly one state.

Classes in de.rwth.i2.attestor.refinement used by de.rwth.i2.attestor.refinement.balanced

Class and Description
StatelessHeapAutomaton A very simplified heap automaton that has exactly one state.

Classes in de.rwth.i2.attestor.refinement used by de.rwth.i2.attestor.refinement.grammarRefinement

Class and Description
HeapAutomaton

Classes in de.rwth.i2.attestor.refinement used by de.rwth.i2.attestor.refinement.identicalNeighbourhood

Class and Description
StatelessHeapAutomaton A very simplified heap automaton that has exactly one state.

Classes in de.rwth.i2.attestor.refinement used by de.rwth.i2.attestor.refinement.languageInclusion

Class and Description
StatelessHeapAutomaton A very simplified heap automaton that has exactly one state.

Classes in de.rwth.i2.attestor.refinement used by de.rwth.i2.attestor.refinement.pointsTo

Class and Description
HeapAutomaton
HeapAutomatonState

Classes in de.rwth.i2.attestor.refinement used by de.rwth.i2.attestor.refinement.product

Class and Description
HeapAutomaton
HeapAutomatonState

Classes in de.rwth.i2.attestor.refinement used by de.rwth.i2.attestor.refinement.reachability

Class and Description
HeapAutomaton
HeapAutomatonState

Classes in de.rwth.i2.attestor.refinement used by de.rwth.i2.attestor.refinement.variableRelation

Class and Description
StatelessHeapAutomaton A very simplified heap automaton that has exactly one state.

Classes in de.rwth.i2.attestor.refinement used by de.rwth.i2.attestor.refinement.visited

Class and Description
StatelessHeapAutomaton A very simplified heap automaton that has exactly one state.