metaSMT git
Public Member Functions | Public Attributes

metaSMT::logic::Array::tag::array_var_tag Struct Reference

#include <Array.hpp>

List of all members.

Public Member Functions

bool operator< (array_var_tag const &other) const

Public Attributes

unsigned id
unsigned elem_width
unsigned index_width

Detailed Description

Definition at line 24 of file Array.hpp.


Member Function Documentation

bool metaSMT::logic::Array::tag::array_var_tag::operator< ( array_var_tag const &  other) const [inline]

Definition at line 29 of file Array.hpp.


Member Data Documentation

Definition at line 26 of file Array.hpp.

Definition at line 25 of file Array.hpp.

Definition at line 27 of file Array.hpp.


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