cvc4-1.3
|
#include <bitvector.h>
Public Member Functions | |
BitVectorRotateRight (unsigned rotateRightAmount) | |
operator unsigned () const | |
Data Fields | |
unsigned | rotateRightAmount |
Definition at line 488 of file bitvector.h.
|
inline |
Definition at line 490 of file bitvector.h.
|
inline |
Definition at line 492 of file bitvector.h.
unsigned CVC4::BitVectorRotateRight::rotateRightAmount |
Definition at line 489 of file bitvector.h.