metaSMT 2
|
Typedefs | |
typedef proto::result_of::make_expr < proto::tag::terminal, Array_Domain, tag::array_var_tag >::type | metaSMT::logic::Array::array |
Functions | |
template<typename E1 , typename E2 > | |
proto::result_of::make_expr < tag::select_tag, Array_Domain, E1 const &, E2 const & >::type | metaSMT::logic::Array::select (E1 const &e1, E2 const &e2) |
template<typename E1 , typename E2 , typename E3 > | |
proto::result_of::make_expr < tag::store_tag, Array_Domain, E1 const &, E2 const &, E3 const & >::type | metaSMT::logic::Array::store (E1 const &e1, E2 const &e2, E3 const &e3) |
array | metaSMT::logic::Array::new_array (unsigned elem_width=1, unsigned index_width=1) |
typedef proto::result_of::make_expr< proto::tag::terminal, Array_Domain , tag::array_var_tag >::type metaSMT::logic::Array::array |
array metaSMT::logic::Array::new_array | ( | unsigned | elem_width = 1 , |
unsigned | index_width = 1 |
||
) | [inline] |
proto::result_of::make_expr< tag::select_tag, Array_Domain, E1 const &, E2 const & >::type metaSMT::logic::Array::select | ( | E1 const & | e1, |
E2 const & | e2 | ||
) |