Lines Matching refs:expr_result
1322 class expr_result
1328 expr_result()
1333 expr_result(bool is_const)
1338 explicit expr_result(int64_t v)
1360 /// the @ref expr_result. This is set iff the function return true.
1374 /// Getter of the constant value of the current @ref expr_result.
1376 /// Note that the current @ref expr_result must be constant,
1379 /// @return the constant value of the current @ref expr_result.
1390 expr_result&
1398 operator==(const expr_result& o) const
1402 operator>=(const expr_result& o) const
1406 operator<=(const expr_result& o) const
1410 operator>(const expr_result& o) const
1414 operator<(const expr_result& o) const
1417 expr_result
1418 operator+(const expr_result& v) const
1420 expr_result r(*this);
1426 expr_result&
1433 expr_result
1434 operator-(const expr_result& v) const
1436 expr_result r(*this);
1442 expr_result
1443 operator%(const expr_result& v) const
1445 expr_result r(*this);
1451 expr_result
1452 operator*(const expr_result& v) const
1454 expr_result r(*this);
1460 expr_result
1461 operator|(const expr_result& v) const
1463 expr_result r(*this);
1469 expr_result
1470 operator^(const expr_result& v) const
1472 expr_result r(*this);
1478 expr_result
1479 operator>>(const expr_result& v) const
1481 expr_result r(*this);
1487 expr_result
1488 operator<<(const expr_result& v) const
1490 expr_result r(*this);
1496 expr_result
1499 expr_result r(*this);
1504 expr_result
1507 expr_result r(*this);
1512 expr_result
1515 expr_result r = *this;
1520 expr_result
1521 operator&(const expr_result& o)
1523 expr_result r(*this);
1529 expr_result
1530 operator/(const expr_result& o)
1532 expr_result r(*this);
1536 };// class end expr_result;
1538 /// A class that implements a stack of @ref expr_result, to be used in
1542 vector<expr_result> elems_;
1549 expr_result&
1557 const expr_result&
1565 vector<expr_result>::reverse_iterator
1569 const vector<expr_result>::reverse_iterator
1573 vector<expr_result>::reverse_iterator
1577 const vector<expr_result>::reverse_iterator
1581 expr_result&
1585 const expr_result&
1590 push_front(expr_result e)
1593 expr_result
1596 expr_result r = front();
1602 erase(vector<expr_result>::reverse_iterator i)
1613 expr_result accum;
1623 stack.push_front(expr_result(true));
1630 stack.push_front(expr_result(true));
1631 accum = expr_result(false);
1653 expr_result
1656 expr_result r = stack.front();
1662 push(const expr_result& v)
7746 expr_result r(value);
7876 expr_result r(false);
7912 expr_result v;
8038 expr_result val1, val2;
8171 expr_result val1, val2;