Warner Class Reference

#include <warner.hh>

Collaboration diagram for Warner:

[legend]List of all members.

Public Member Functions
	Warner (QSpace *qs)
void	update (QSpace *qs)
void	setBH (BranchingHeuristic *b)
void	warn (int w)
Private Attributes
BranchingHeuristic *	bh
QSpace *	sp

---

Detailed Description

Definition at line 35 of file warner.hh.

---

Constructor & Destructor Documentation

Warner::Warner

(

QSpace *

qs

)

[inline]

Definition at line 40 of file warner.hh.

References bh, and sp.

---

Member Function Documentation

void Warner::update

(

QSpace *

qs

)

[inline]

Definition at line 41 of file warner.hh.

References sp.

Referenced by Implicative::backtrack(), and Implicative::Implicative().

void Warner::setBH

(

BranchingHeuristic *

b

)

Definition at line 31 of file warner.cc.

References bh.

Referenced by Implicative::indicateBranchingHeuristic().

void Warner::warn

(

int

w

)

Definition at line 25 of file warner.cc.

References bh, sp, and BranchingHeuristic::vartouched().

Referenced by WarningProp::propagate().

---

Member Data Documentation

BranchingHeuristic* Warner::bh [private]

Definition at line 37 of file warner.hh.

Referenced by setBH(), warn(), and Warner().

QSpace* Warner::sp [private]

Definition at line 38 of file warner.hh.

Referenced by update(), warn(), and Warner().

---

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

• /Users/jamian/qecode-1.1/qecode/warner.hh
• /Users/jamian/qecode-1.1/qecode/warner.cc

---