34#ifndef TTA_FSA_FU_RESOURCE_CONFLICT_DETECTOR_HH
35#define TTA_FSA_FU_RESOURCE_CONFLICT_DETECTOR_HH
virtual bool advanceCycle()
virtual bool issueOperation(OperationID id)
virtual ~FSAFUResourceConflictDetector()
void initializeAllStates()
bool issueOperationInline(OperationID id)
bool issueOperationLazyInline(OperationID id)
bool advanceCycleInline()
virtual OperationID operationID(const TCEString &operationName) const
FSAFUResourceConflictDetectorPimpl * pimpl_
Private implementation in a separate source file.
bool advanceCycleLazyInline()
const char * operationName(OperationID id) const
virtual void writeToDotFile(const TCEString &fileName) const
int OperationID
Type for identifying operations in the conflict detector interface.