metaSMT git
|
#include <Array.hpp>
Public Member Functions | |
bool | operator< (array_var_tag const &other) const |
Public Attributes | |
unsigned | id |
unsigned | elem_width |
unsigned | index_width |
bool metaSMT::logic::Array::tag::array_var_tag::operator< | ( | array_var_tag const & | other | ) | const [inline] |