public class NoStateLabelingStrategy extends Object implements StateLabelingStrategy
| Constructor and Description |
|---|
NoStateLabelingStrategy() |
| Modifier and Type | Method and Description |
|---|---|
void |
computeAtomicPropositions(ProgramState programState)
Determines the atomic propositions assigned to the given program state.
|
public void computeAtomicPropositions(ProgramState programState)
StateLabelingStrategycomputeAtomicPropositions in interface StateLabelingStrategyprogramState - The program state whose atomic propositions should be determined.Copyright © 2019. All rights reserved.