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