de.rwth.i2.attestor.refinement

Class AutomatonStateLabelingStrategy

java.lang.Object

de.rwth.i2.attestor.refinement.AutomatonStateLabelingStrategy

All Implemented Interfaces:

StateLabelingStrategy

public class AutomatonStateLabelingStrategy
extends Object
implements StateLabelingStrategy

Constructor Summary

Constructors

Constructor and Description
AutomatonStateLabelingStrategy(HeapAutomaton heapAutomaton)
AutomatonStateLabelingStrategy(HeapAutomaton heapAutomaton, List<StatelessHeapAutomaton> statelessHeapAutomata)

Method Summary

Modifier and Type	Method and Description
static AutomatonStateLabelingStrategyBuilder	builder()
void	computeAtomicPropositions(ProgramState programState) Determines the atomic propositions assigned to the given program state.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AutomatonStateLabelingStrategy

public AutomatonStateLabelingStrategy(HeapAutomaton heapAutomaton)

AutomatonStateLabelingStrategy

public AutomatonStateLabelingStrategy(HeapAutomaton heapAutomaton,
                                      List<StatelessHeapAutomaton> statelessHeapAutomata)

Method Detail

builder

public static AutomatonStateLabelingStrategyBuilder builder()

computeAtomicPropositions

public void computeAtomicPropositions(ProgramState programState)

Description copied from interface: StateLabelingStrategy

Determines the atomic propositions assigned to the given program state. These propositions are directly attached to the given program state.

Specified by:

computeAtomicPropositions in interface StateLabelingStrategy

Parameters:

programState - The program state whose atomic propositions should be determined.