Warner Class Reference

#include <warner.hh>

Collaboration diagram for Warner:

[legend]List of all members.

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

---

Detailed Description

Definition at line 36 of file warner.hh.

---

Constructor & Destructor Documentation

QECODE_EXPORT Warner::Warner

(

QSpace *

qs

)

[inline]

Definition at line 41 of file warner.hh.

---

Member Function Documentation

QECODE_EXPORT void Warner::update

(

QSpace *

qs

)

[inline]

Definition at line 42 of file warner.hh.

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 BoolWarningProp::propagate(), and IntWarningProp::propagate().

---

Member Data Documentation

BranchingHeuristic* Warner::bh [private]

Definition at line 38 of file warner.hh.

Referenced by setBH(), and warn().

QSpace* Warner::sp [private]

Definition at line 39 of file warner.hh.

Referenced by warn().

---

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

• /Users/jamian/Desktop/gecode-2.0.1/contribs/qecode/warner.hh
• /Users/jamian/Desktop/gecode-2.0.1/contribs/qecode/warner.cc

---