operations_research::NoGoodTerm Class Reference

Base class for NoGood terms. More...

List of all members.

Public Types
enum	TermStatus { ALWAYS_TRUE, ALWAYS_FALSE, UNDECIDED }
Public Member Functions
	NoGoodTerm ()
virtual	~NoGoodTerm ()
virtual TermStatus	Evaluate () const =0
virtual void	Refute ()=0
virtual string	DebugString () const =0

---

Detailed Description

Base class for NoGood terms.

Definition at line 48 of file nogoods.cc.

---

Member Enumeration Documentation

enum operations_research::NoGoodTerm::TermStatus

Enumerator:

ALWAYS_TRUE
ALWAYS_FALSE
UNDECIDED

Definition at line 50 of file nogoods.cc.

---

Constructor & Destructor Documentation

operations_research::NoGoodTerm::NoGoodTerm

(

)

[inline]

Definition at line 55 of file nogoods.cc.

virtual operations_research::NoGoodTerm::~NoGoodTerm

(

)

[inline, virtual]

Definition at line 56 of file nogoods.cc.

---

Member Function Documentation

virtual TermStatus operations_research::NoGoodTerm::Evaluate

(

)

const [pure virtual]

virtual void operations_research::NoGoodTerm::Refute

(

)

[pure virtual]

virtual string operations_research::NoGoodTerm::DebugString

(

)

const [pure virtual]

---

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

• or-tools/src/constraint_solver/nogoods.cc