cvc4-1.4
|
#include <bitvector.h>
Public Member Functions | |
BitVectorRepeat (unsigned repeatAmount) | |
operator unsigned () const | |
Data Fields | |
unsigned | repeatAmount |
Definition at line 461 of file bitvector.h.
|
inline |
Definition at line 463 of file bitvector.h.
|
inline |
Definition at line 465 of file bitvector.h.
unsigned CVC4::BitVectorRepeat::repeatAmount |
Definition at line 462 of file bitvector.h.