cvc4-1.3
|
#include <bitvector.h>
Public Member Functions | |
BitVectorSize (unsigned size) | |
operator unsigned () const | |
Data Fields | |
unsigned | size |
Definition at line 453 of file bitvector.h.
|
inline |
Definition at line 455 of file bitvector.h.
|
inline |
Definition at line 457 of file bitvector.h.
unsigned CVC4::BitVectorSize::size |
Definition at line 454 of file bitvector.h.