cvc4-1.4
|
#include <bitvector.h>
Public Member Functions | |
BitVectorZeroExtend (unsigned zeroExtendAmount) | |
operator unsigned () const | |
Data Fields | |
unsigned | zeroExtendAmount |
Definition at line 468 of file bitvector.h.
|
inline |
Definition at line 470 of file bitvector.h.
|
inline |
Definition at line 472 of file bitvector.h.
unsigned CVC4::BitVectorZeroExtend::zeroExtendAmount |
Definition at line 469 of file bitvector.h.