evaluate(expression_t expr, int32_t &value) const | UTAP::RangeChecker | [protected] |
getDeclaredRange(expression_t expr) const | UTAP::RangeChecker | |
getDeclaredRange(symbol_t symbol) const | UTAP::RangeChecker | |
getRange(expression_t) const | UTAP::RangeChecker | |
isInteger(expression_t) const | UTAP::RangeChecker | [protected] |
RangeChecker(TimedAutomataSystem *) | UTAP::RangeChecker | |
RangeChecker(TimedAutomataSystem *, const process_t &) | UTAP::RangeChecker | |
rangeOfBinary(expression_t, uint32_t op, expression_t) const | UTAP::RangeChecker | [protected] |