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 37 of file cdflags.h.

---

Constructor & Destructor Documentation

CVC3::CDFlags::CDFlags

(

const CDFlags &

cdflags

)

[inline, private]

Definition at line 50 of file cdflags.h.

CVC3::CDFlags::CDFlags

(

Context *

context

)

[inline]

Definition at line 54 of file cdflags.h.

References IF_DEBUG.

CVC3::CDFlags::~CDFlags

(

)

[inline]

Definition at line 56 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 40 of file cdflags.h.

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 42 of file cdflags.h.

virtual void CVC3::CDFlags::setNull

(

void

)

[inline, private, virtual]

Set the current object to be invalid.

Implements CVC3::ContextObj.

Definition at line 44 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().

CDFlags& CVC3::CDFlags::operator=

(

const CDFlags &

cdflags

)

[inline, private]

Definition at line 51 of file cdflags.h.

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

Definition at line 57 of file cdflags.h.

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::setNotArrayNormalized(), CVC3::Expr::setRegisteredAtom(), CVC3::Expr::setRewriteNormal(), CVC3::Expr::setSelected(), CVC3::Expr::setStoredPredicate(), CVC3::Expr::setTerminalsConstFlag(), CVC3::Expr::setTranslated(), CVC3::Expr::setUserAssumption(), CVC3::Expr::setUserRegisteredAtom(), CVC3::Expr::setUsesCC(), CVC3::Expr::setValidType(), and CVC3::Expr::setWellFounded().

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

Definition at line 58 of file cdflags.h.

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

bool CVC3::CDFlags::get

(

unsigned

mask

)

const [inline]

Definition at line 59 of file cdflags.h.

Referenced by CVC3::Expr::computeTransClosure(), CVC3::Expr::containsBoundVar(), CVC3::Expr::getIsAtomicFlag(), CVC3::Expr::getTerminalsConstFlag(), 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(), CVC3::Expr::notArrayNormalized(), CVC3::Expr::usesCC(), CVC3::Expr::validIsAtomicFlag(), and CVC3::Expr::validTerminalsConstFlag().

---

Member Data Documentation

unsigned CVC3::CDFlags::d_flags [private]

Definition at line 38 of file cdflags.h.

Referenced by update().

---

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

• cdflags.h
• cdflags.cpp

---