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