AutomatonStateLabelingStrategyBuilder (Attestor 0.4.1 API)

public class AutomatonStateLabelingStrategyBuilder
extends Object

Constructors
Constructor and Description
`AutomatonStateLabelingStrategyBuilder()`

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`AutomatonStateLabelingStrategyBuilder`	`add(HeapAutomaton automaton)`
`AutomatonStateLabelingStrategyBuilder`	`add(StatelessHeapAutomaton automaton)`
`AutomatonStateLabelingStrategy`	`build()`
`HeapAutomaton`	`getProductAutomaton()`

Constructor Detail
- AutomatonStateLabelingStrategyBuilder
```
public AutomatonStateLabelingStrategyBuilder()
```

public AutomatonStateLabelingStrategyBuilder add(HeapAutomaton automaton)

public AutomatonStateLabelingStrategyBuilder add(StatelessHeapAutomaton automaton)

public AutomatonStateLabelingStrategy build()

public HeapAutomaton getProductAutomaton()

Class AutomatonStateLabelingStrategyBuilder