CVC3::SearchSat::LitPriorityPair Class Reference

Pair of Lit and priority of this Lit. More...

#include <search_sat.h>

Collaboration diagram for CVC3::SearchSat::LitPriorityPair:

List of all members.

Public Member Functions

• LitPriorityPair (SAT::Lit lit, int priority)
• SAT::Lit getLit () const
• int getPriority () const

Private Member Functions

• LitPriorityPair ()

Private Attributes

• SAT::Lit d_lit
• int d_priority

Friends

• bool operator< (const LitPriorityPair &p1, const LitPriorityPair &p2)

---

Detailed Description

Pair of Lit and priority of this Lit.

Definition at line 116 of file search_sat.h.

---

Constructor & Destructor Documentation

CVC3::SearchSat::LitPriorityPair::LitPriorityPair

(

)

[inline, private]

Definition at line 119 of file search_sat.h.

CVC3::SearchSat::LitPriorityPair::LitPriorityPair	(	SAT::Lit	lit,
		int	priority
	)		[inline]

Definition at line 121 of file search_sat.h.

---

Member Function Documentation

SAT::Lit CVC3::SearchSat::LitPriorityPair::getLit

(

)

const [inline]

Definition at line 123 of file search_sat.h.

References d_lit.

int CVC3::SearchSat::LitPriorityPair::getPriority

(

)

const [inline]

Definition at line 124 of file search_sat.h.

References d_priority.

---

Friends And Related Function Documentation

bool operator<	(	const LitPriorityPair &	p1,
		const LitPriorityPair &	p2
	)		[friend]

Definition at line 311 of file search_sat.h.

---

Member Data Documentation

SAT::Lit CVC3::SearchSat::LitPriorityPair::d_lit [private]

Definition at line 117 of file search_sat.h.

Referenced by getLit(), and CVC3::operator<().

int CVC3::SearchSat::LitPriorityPair::d_priority [private]

Definition at line 118 of file search_sat.h.

Referenced by getPriority(), and CVC3::operator<().

---

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

• search_sat.h