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