Conjecture::Choice Struct Reference

#include <conjecture.hpp>

Collaboration diagram for Conjecture::Choice:

List of all members.

Public Attributes
ContainerInterface::iterator	it
ContainerInterface::iterator	end
int	end_count
int	end_num
bool	forced

---

Detailed Description

Definition at line 14 of file conjecture.hpp.

---

Member Data Documentation

ContainerInterface::iterator Conjecture::Choice::end

Definition at line 17 of file conjecture.hpp.

int Conjecture::Choice::end_count

Definition at line 18 of file conjecture.hpp.

int Conjecture::Choice::end_num

Definition at line 19 of file conjecture.hpp.

bool Conjecture::Choice::forced

Definition at line 20 of file conjecture.hpp.

ContainerInterface::iterator Conjecture::Choice::it

Definition at line 16 of file conjecture.hpp.

Referenced by Conjecture::HandleDecision().

---

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

• conjecture.hpp