Key Struct Reference

#include <coupling.hpp>

Inheritance diagram for Key:

Collaboration diagram for Key:

List of all members.

Public Member Functions
virtual	~Key ()
Public Attributes
TreePtr< Node >	root
TreePtr< Node >	replace_pattern
Conjecture::Choice *	governing_choice
int	governing_offset

---

Detailed Description

Definition at line 12 of file coupling.hpp.

---

Constructor & Destructor Documentation

virtual Key::~Key

(

)

[inline, virtual]

Definition at line 14 of file coupling.hpp.

---

Member Data Documentation

Conjecture::Choice* Key::governing_choice

Definition at line 17 of file coupling.hpp.

int Key::governing_offset

Definition at line 18 of file coupling.hpp.

TreePtr<Node> Key::replace_pattern

Definition at line 16 of file coupling.hpp.

TreePtr<Node> Key::root

Definition at line 15 of file coupling.hpp.

---

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

• coupling.hpp