metaSMT git
Public Member Functions | Public Attributes

metaSMT::logic::QF_BV::tag::var_tag Struct Reference

#include <QF_BV.hpp>

List of all members.

Public Member Functions

bool operator< (var_tag const &other) const

Public Attributes

unsigned id
unsigned width

Detailed Description

Definition at line 29 of file QF_BV.hpp.


Member Function Documentation

bool metaSMT::logic::QF_BV::tag::var_tag::operator< ( var_tag const &  other) const [inline]

Definition at line 31 of file QF_BV.hpp.


Member Data Documentation

Definition at line 29 of file QF_BV.hpp.

Definition at line 29 of file QF_BV.hpp.


The documentation for this struct was generated from the following file:
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines