Conjecture Class Reference

#include <conjecture.hpp>

List of all members.

Classes
struct	Choice
Public Member Functions
	Conjecture ()
	~Conjecture ()
void	PrepareForDecidedCompare ()
bool	Increment ()
ContainerInterface::iterator	HandleDecision (ContainerInterface::iterator begin, ContainerInterface::iterator end, int en=0)
ContainerInterface::iterator	HandleDecision (ContainerInterface::iterator only)
Choice *	GetChoicePtr ()
Choice *	GetPrevChoicePtr ()

---

Detailed Description

Definition at line 11 of file conjecture.hpp.

---

Constructor & Destructor Documentation

Conjecture::Conjecture

(

)

Definition at line 5 of file conjecture.cpp.

Conjecture::~Conjecture

(

)

Definition at line 10 of file conjecture.cpp.

References HitCount::instance, and TRACE.

---

Member Function Documentation

Choice* Conjecture::GetChoicePtr

(

)

[inline]

Definition at line 39 of file conjecture.hpp.

Referenced by HandleDecision().

Choice* Conjecture::GetPrevChoicePtr

(

)

[inline]

Definition at line 40 of file conjecture.hpp.

ContainerInterface::iterator Conjecture::HandleDecision	(	ContainerInterface::iterator	begin,
		ContainerInterface::iterator	end,
		int	en = 0
	)

Definition at line 77 of file conjecture.cpp.

References ASSERT, GetChoicePtr(), Conjecture::Choice::it, and TRACE.

Referenced by HandleDecision().

ContainerInterface::iterator Conjecture::HandleDecision

(

ContainerInterface::iterator

only

)

Definition at line 112 of file conjecture.cpp.

References HandleDecision().

bool Conjecture::Increment

(

)

Definition at line 44 of file conjecture.cpp.

References TRACE.

Referenced by CompareReplace::Compare().

void Conjecture::PrepareForDecidedCompare

(

)

Definition at line 35 of file conjecture.cpp.

References ASSERT, and TRACE.

---

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

• conjecture.hpp
• conjecture.cpp