CVCL::CDO< T > Class Template Reference

#include <cdo.h>

Inheritance diagram for CVCL::CDO< T >:

[legend]Collaboration diagram for CVCL::CDO< T >:

[legend]List of all members.

Public Member Functions

• CDO (Context *context)
• CDO (Context *context, const T &data, int scope=-1)
• ~CDO ()
• void set (const T &data, int scope=-1)
• const T & get () const
• operator T ()
• CDO< T > & operator= (const T &data)

Private Member Functions

• virtual ContextObj * makeCopy (void)

  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.
  

• CDO (const CDO< T > &cdo)
• CDO< T > & operator= (const CDO< T > &cdo)

Private Attributes

• T d_data

---

Detailed Description

template<class T>
class CVCL::CDO< T >

Definition at line 47 of file cdo.h.

---

Constructor & Destructor Documentation

template<class T> CVCL::CDO< T >::CDO (  const CDO< T > &  cdo  )  [inline, private]

Definition at line 58 of file cdo.h.

template<class T> CVCL::CDO< T >::CDO (  Context *  context  )  [inline]

Definition at line 62 of file cdo.h.

template<class T> CVCL::CDO< T >::CDO (  Context *  context, const T &  data, int  scope = -1 )  [inline]

Definition at line 64 of file cdo.h.

template<class T> CVCL::CDO< T >::~CDO (   )  [inline]

Definition at line 69 of file cdo.h.

---

Member Function Documentation

template<class T> virtual ContextObj* CVCL::CDO< T >::makeCopy (  void   )  [inline, private, virtual]

Make a copy of the current object so it can be restored to its current state. Implements CVCL::ContextObj. Definition at line 50 of file cdo.h.

template<class T> virtual void CVCL::CDO< T >::restoreData (  ContextObj *  data  )  [inline, private, virtual]

Restore the current object from the given data. Reimplemented from CVCL::ContextObj. Definition at line 51 of file cdo.h.

template<class T> virtual void CVCL::CDO< T >::setNull (  void   )  [inline, private, virtual]

Set the current object to be invalid. Implements CVCL::ContextObj. Definition at line 54 of file cdo.h.

template<class T> CDO<T>& CVCL::CDO< T >::operator= (  const CDO< T > &  cdo  )  [inline, private]

Definition at line 59 of file cdo.h.

template<class T> void CVCL::CDO< T >::set (  const T &  data, int  scope = -1 )  [inline]

Definition at line 72 of file cdo.h. Referenced by CVCL::SearchSimple::addNonLiteralFact(), CVCL::CDO< bool >::CDO(), CVCL::SearchSat::check(), CVCL::SearchSimple::checkValidInternal(), CVCL::SearchSimple::checkValidRec(), CVCL::TheoryQuant::naiveCheckSat(), CVCL::CDO< bool >::operator=(), CVCL::SearchSimple::SearchSimple(), CVCL::TheoryQuant::semCheckSat(), CVCL::VariableValue::setAssumpThm(), CVCL::Expr::setFind(), CVCL::Expr::setRep(), CVCL::Expr::setSig(), CVCL::VariableValue::setValue(), and CVCL::TheoryQuant::synCheckSat().

template<class T> const T& CVCL::CDO< T >::get (   )  const [inline]

Definition at line 73 of file cdo.h. Referenced by CVCL::SearchSimple::addNonLiteralFact(), CVCL::SearchSat::check(), CVCL::SearchSimple::checkValidInternal(), CVCL::SearchEngineFast::checkValidInternal(), CVCL::SearchSimple::checkValidMain(), CVCL::SearchSimple::checkValidRec(), CVCL::VariableValue::getAntecedent(), CVCL::VariableValue::getAntecedentIdx(), CVCL::VariableValue::getAssumpThm(), CVCL::Expr::getFind(), CVCL::Expr::getRep(), CVCL::VariableValue::getScope(), CVCL::Expr::getSig(), CVCL::VariableValue::getTheorem(), CVCL::VariableValue::getValue(), CVCL::Expr::hasFind(), CVCL::Expr::hasRep(), CVCL::Expr::hasSig(), CVCL::TheoryQuant::naiveCheckSat(), SAT::CD_CNF_Formula::numVars(), CVCL::CDO< unsigned >::operator unsigned (), CVCL::SearchSimple::restartInternal(), and CVCL::SearchEngineFast::restartInternal().

template<class T> CVCL::CDO< T >::operator T (   )  [inline]

Definition at line 74 of file cdo.h.

template<class T> CDO<T>& CVCL::CDO< T >::operator= (  const T &  data  )  [inline]

Definition at line 75 of file cdo.h.

---

Member Data Documentation

template<class T> T CVCL::CDO< T >::d_data [private]

Definition at line 48 of file cdo.h. Referenced by CVCL::CDO< bool >::get(), CVCL::CDO< bool >::restoreData(), CVCL::CDO< bool >::set(), and CVCL::CDO< bool >::setNull().

---

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

• cdo.h

---