CVC3
Public Member Functions | Private Member Functions | Private Attributes | Friends | List of all members
CVC3::SearchSat::LitPriorityPair Class Reference

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

#include <search_sat.h>

Collaboration diagram for CVC3::SearchSat::LitPriorityPair:
Collaboration graph

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 ( )
inlineprivate

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: