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