InputTransformer (Attestor 0.3.5-SEFM2018 API)

Skip navigation links

All Classes

Summary:
Nested |
Field |
Constr |
Method

Detail:
Field |
Constr |
Method

All Known Implementing Classes:

GrammarRefinementPhase, MarkingGenerationPhase, ParseInputPhase
```
public interface InputTransformer
```

- Method Summary
  
  All Methods Instance Methods Abstract Methods
  Modifier and Type Method and Description
  
  List<HeapConfiguration> getInputs()

- Method Detail
  - getInputs
```
List<HeapConfiguration> getInputs()
```

Skip navigation links

All Classes

Summary:
Nested |
Field |
Constr |
Method

Detail:
Field |
Constr |
Method

Copyright © 2018. All rights reserved.