22 #ifndef _cvc3__include__cdflags_h_
23 #define _cvc3__include__cdflags_h_
41 {
return new(cmm)
CDFlags(*
this); }
43 { d_flags = ((
CDFlags*)data)->d_flags; }
46 void update(
unsigned mask,
int scope,
bool setMask);
57 void set(
unsigned mask,
int scope=-1) { update(mask, scope,
true); }
58 void clear(
unsigned mask,
int scope=-1) { update(mask, scope,
false); }
59 bool get(
unsigned mask)
const {
return (d_flags & mask) != 0; }
CDFlags & operator=(const CDFlags &cdflags)
void set(unsigned mask, int scope=-1)
CDFlags(const CDFlags &cdflags)
virtual ContextObj * makeCopy(ContextMemoryManager *cmm)
Make a copy of the current object so it can be restored to its current state.
CDFlags(Context *context)
#define FatalAssert(cond, msg)
If something goes horribly wrong, print a message and abort immediately with exit(1).
Abstraction over different operating systems.
virtual void restoreData(ContextObj *data)
Restore the current object from the given data.
virtual void setNull(void)
Set the current object to be invalid.
void clear(unsigned mask, int scope=-1)