CVC3::CDFlags Class Reference

#include <cdflags.h>

Inheritance diagram for CVC3::CDFlags:

[legend]Collaboration diagram for CVC3::CDFlags:

[legend]List of all members.

Public Member Functions

• CDFlags (Context *context)
• ~CDFlags ()
• void set (unsigned mask, int scope=-1)
• void clear (unsigned mask, int scope=-1)
• bool get (unsigned mask) const

Private Member Functions

• virtual ContextObj * makeCopy (ContextMemoryManager *cmm)

  Make a copy of the current object so it can be restored to its current state.
  

• 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 update (unsigned mask, int scope, bool setMask)
• CDFlags (const CDFlags &cdflags)
• CDFlags & operator= (const CDFlags &cdflags)

Private Attributes

• unsigned d_flags

---

Detailed Description

Definition at line 36 of file cdflags.h.

---

Constructor & Destructor Documentation

CVC3::CDFlags::CDFlags

(

const CDFlags &

cdflags

)

[inline, private]

Definition at line 49 of file cdflags.h.

Referenced by makeCopy().

CVC3::CDFlags::CDFlags

(

Context *

context

)

[inline]

Definition at line 53 of file cdflags.h.

References IF_DEBUG, and CVC3::ContextObj::setName().

CVC3::CDFlags::~CDFlags

(

)

[inline]

Definition at line 55 of file cdflags.h.

---

Member Function Documentation

virtual ContextObj* CVC3::CDFlags::makeCopy

(

ContextMemoryManager *

cmm

)

[inline, private, virtual]

Make a copy of the current object so it can be restored to its current state.

Implements CVC3::ContextObj.

Definition at line 39 of file cdflags.h.

References CDFlags().

Referenced by update().

virtual void CVC3::CDFlags::restoreData

(

ContextObj *

data

)

[inline, private, virtual]

Restore the current object from the given data.

Reimplemented from CVC3::ContextObj.

Definition at line 41 of file cdflags.h.

References d_flags.

virtual void CVC3::CDFlags::setNull

(

void

)

[inline, private, virtual]

Set the current object to be invalid.

Implements CVC3::ContextObj.

Definition at line 43 of file cdflags.h.

References FatalAssert.

void CDFlags::update	(	unsigned	mask,
		int	scope,
		bool	setMask
	)			[private]

Definition at line 31 of file cdflags.cpp.

References CVC3::Scope::addToChain(), CVC3::ContextObj::ContextObjChain, d_flags, CVC3::ContextObj::d_restore, CVC3::ContextObj::d_scope, DebugAssert, CVC3::Scope::getCMM(), IF_DEBUG, CVC3::Scope::level(), CVC3::ContextObj::level(), makeCopy(), CVC3::ContextObj::makeCurrent(), and CVC3::Scope::prevScope().

Referenced by clear(), and set().

CDFlags& CVC3::CDFlags::operator=

(

const CDFlags &

cdflags

)

[inline, private]

Definition at line 50 of file cdflags.h.

void CVC3::CDFlags::set	(	unsigned	mask,
		int	scope = -1
	)			[inline]

Definition at line 56 of file cdflags.h.

References update().

Referenced by CVC3::Expr::setComputeTransClosure(), CVC3::Expr::setContainsBoundVar(), CVC3::Expr::setFinite(), CVC3::Expr::setImpliedLiteral(), CVC3::Expr::setIntAssumption(), CVC3::Expr::setInUserAssumption(), CVC3::Expr::setIsAtomicFlag(), CVC3::Expr::setJustified(), CVC3::Expr::setRegisteredAtom(), CVC3::Expr::setRewriteNormal(), CVC3::Expr::setSelected(), CVC3::Expr::setStoredPredicate(), CVC3::Expr::setTranslated(), CVC3::Expr::setUserAssumption(), CVC3::Expr::setUserRegisteredAtom(), CVC3::Expr::setValidType(), and CVC3::Expr::setWellFounded().

void CVC3::CDFlags::clear	(	unsigned	mask,
		int	scope = -1
	)			[inline]

Definition at line 57 of file cdflags.h.

References update().

Referenced by CVC3::Expr::clearRewriteNormal(), and CVC3::Expr::setIsAtomicFlag().

bool CVC3::CDFlags::get

(

unsigned

mask

)

const [inline]

Definition at line 58 of file cdflags.h.

References d_flags.

Referenced by CVC3::Expr::computeTransClosure(), CVC3::Expr::containsBoundVar(), CVC3::Expr::getIsAtomicFlag(), CVC3::Expr::inUserAssumption(), CVC3::Expr::isFinite(), CVC3::Expr::isImpliedLiteral(), CVC3::Expr::isIntAssumption(), CVC3::Expr::isJustified(), CVC3::Expr::isRegisteredAtom(), CVC3::Expr::isRewriteNormal(), CVC3::Expr::isSelected(), CVC3::Expr::isStoredPredicate(), CVC3::Expr::isTranslated(), CVC3::Expr::isUserAssumption(), CVC3::Expr::isUserRegisteredAtom(), CVC3::Expr::isValidType(), CVC3::Expr::isWellFounded(), and CVC3::Expr::validIsAtomicFlag().

---

Member Data Documentation

unsigned CVC3::CDFlags::d_flags [private]

Definition at line 37 of file cdflags.h.

Referenced by get(), restoreData(), and update().

---

The documentation for this class was generated from the following files:

• cdflags.h
• cdflags.cpp

---