#ifndef TRIGGERING_ENUMS_QIJOA
#define TRIGGERING_ENUMS_QIJOA

enum TriggerType
{
    Trigger_Fix,
    Trigger_Change,
    Trigger_RBaseFinished,
    Trigger_INVALID
};

enum TraceEventType
{
    TraceEvent_Branch,
    TraceEvent_Constraint,
    TraceEvent_INVALID
};

#endif
