Uses of Class
de.rwth.i2.attestor.refinement.AutomatonStateLabelingStrategyBuilder

Packages that use AutomatonStateLabelingStrategyBuilder

Package	Description
de.rwth.i2.attestor.phases.parser
de.rwth.i2.attestor.phases.preprocessing
de.rwth.i2.attestor.phases.transformers
de.rwth.i2.attestor.refinement

Uses of AutomatonStateLabelingStrategyBuilder in de.rwth.i2.attestor.phases.parser

Methods in de.rwth.i2.attestor.phases.parser that return AutomatonStateLabelingStrategyBuilder

Modifier and Type	Method and Description
AutomatonStateLabelingStrategyBuilder	CLIPhase.getStrategy()

Uses of AutomatonStateLabelingStrategyBuilder in de.rwth.i2.attestor.phases.preprocessing

Methods in de.rwth.i2.attestor.phases.preprocessing that return AutomatonStateLabelingStrategyBuilder

Modifier and Type	Method and Description
AutomatonStateLabelingStrategyBuilder	GrammarRefinementPhase.getStrategy()
AutomatonStateLabelingStrategyBuilder	MarkingGenerationPhase.getStrategy()

Uses of AutomatonStateLabelingStrategyBuilder in de.rwth.i2.attestor.phases.transformers

Methods in de.rwth.i2.attestor.phases.transformers that return AutomatonStateLabelingStrategyBuilder

Modifier and Type	Method and Description
AutomatonStateLabelingStrategyBuilder	StateLabelingStrategyBuilderTransformer.getStrategy()

Uses of AutomatonStateLabelingStrategyBuilder in de.rwth.i2.attestor.refinement

Methods in de.rwth.i2.attestor.refinement that return AutomatonStateLabelingStrategyBuilder

Modifier and Type	Method and Description
AutomatonStateLabelingStrategyBuilder	AutomatonStateLabelingStrategyBuilder.add(HeapAutomaton automaton)
AutomatonStateLabelingStrategyBuilder	AutomatonStateLabelingStrategyBuilder.add(StatelessHeapAutomaton automaton)
static AutomatonStateLabelingStrategyBuilder	AutomatonStateLabelingStrategy.builder()