cvc4-1.3
|
#include <bitvector.h>
Public Member Functions | |
BitVectorRotateLeft (unsigned rotateLeftAmount) | |
operator unsigned () const | |
Data Fields | |
unsigned | rotateLeftAmount |
Definition at line 481 of file bitvector.h.
|
inline |
Definition at line 483 of file bitvector.h.
|
inline |
Definition at line 485 of file bitvector.h.
unsigned CVC4::BitVectorRotateLeft::rotateLeftAmount |
Definition at line 482 of file bitvector.h.