Variables | |
const unsigned | BITSET_SIZE = 32 |
const unsigned | CHECK_BIT = 0 |
const unsigned | TIMEOUT_BIT = 1 |
const unsigned | INVALID_OLD_DEFAULT_BIT = 5 |
const unsigned novaddt::smt::Extra_Info::BITSET_SIZE = 32 |
Definition at line 43 of file Constants.h.
const unsigned novaddt::smt::Extra_Info::CHECK_BIT = 0 |
Definition at line 45 of file Constants.h.
Referenced by novaddt::smt::Trigger::run_algorithm().
const unsigned novaddt::smt::Extra_Info::INVALID_OLD_DEFAULT_BIT = 5 |
Definition at line 54 of file Constants.h.
const unsigned novaddt::smt::Extra_Info::TIMEOUT_BIT = 1 |
Definition at line 46 of file Constants.h.
Referenced by novaddt::smt::Trigger::run_algorithm().