CVCL::DecisionEngineDFS Class Reference
[Decision Engine]

Decision Engine for use with the Search Engine

Author: Clark Barrett. More...

#include <decision_engine_dfs.h>

Inheritance diagram for CVCL::DecisionEngineDFS:

[legend]Collaboration diagram for CVCL::DecisionEngineDFS:

[legend]List of all members.

Public Member Functions

• DecisionEngineDFS (TheoryCore *core, SearchImplBase *se)

  Constructor.
  

• virtual ~DecisionEngineDFS ()
• virtual Expr findSplitter (const Expr &e)

  Find the next splitter.
  

• virtual void goalSatisfied ()

  Search should call this when it derives 'false'.
  

Protected Member Functions

• virtual bool isBetter (const Expr &e1, const Expr &e2)

---

Detailed Description

Decision Engine for use with the Search Engine

Author: Clark Barrett.

Created: Fri Jul 11 16:34:22 2003

Definition at line 49 of file decision_engine_dfs.h.

---

Constructor & Destructor Documentation

DecisionEngineDFS::DecisionEngineDFS (  TheoryCore *  core, SearchImplBase *  se )

Constructor. Function: DecisionEngineDFS::DecisionEngineDFS Author: Clark Barrett Created: Sun Jul 13 22:52:51 2003 Constructor Definition at line 57 of file decision_engine_dfs.cpp.

virtual CVCL::DecisionEngineDFS::~DecisionEngineDFS (   )  [inline, virtual]

Definition at line 57 of file decision_engine_dfs.h.

---

Member Function Documentation

bool DecisionEngineDFS::isBetter (  const Expr &  e1, const Expr &  e2 )  [protected, virtual]

Implements CVCL::DecisionEngine. Definition at line 40 of file decision_engine_dfs.cpp.

Expr DecisionEngineDFS::findSplitter (  const Expr &  e  )  [virtual]

Find the next splitter. Returns: Null Expr if no splitter is found. Implements CVCL::DecisionEngine. Definition at line 75 of file decision_engine_dfs.cpp. References CVCL::ExprMap< Data >::clear(), CVCL::Debug::counter(), CVCL::DecisionEngine::d_visited, CVCL::debugger, CVCL::DecisionEngine::findSplitterRec(), IF_DEBUG(), CVCL::Expr::isNull(), and CVCL::TRACE.

void DecisionEngineDFS::goalSatisfied (   )  [virtual]

Search should call this when it derives 'false'. Implements CVCL::DecisionEngine. Definition at line 96 of file decision_engine_dfs.cpp.

---

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

• decision_engine_dfs.h
• decision_engine_dfs.cpp

---