cvc4-1.4
|
#include <bitvector.h>
Public Member Functions | |
BitVectorSignExtend (unsigned signExtendAmount) | |
operator unsigned () const | |
Data Fields | |
unsigned | signExtendAmount |
Definition at line 475 of file bitvector.h.
|
inline |
Definition at line 477 of file bitvector.h.
|
inline |
Definition at line 479 of file bitvector.h.
unsigned CVC4::BitVectorSignExtend::signExtendAmount |
Definition at line 476 of file bitvector.h.