CVC3
2.4.1
|
Pair of Lit and priority of this Lit. More...
#include <search_sat.h>
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) |
Pair of Lit and priority of this Lit.
Definition at line 116 of file search_sat.h.
|
inlineprivate |
Definition at line 119 of file search_sat.h.
|
inline |
Definition at line 121 of file search_sat.h.
|
inline |
Definition at line 123 of file search_sat.h.
References d_lit.
|
inline |
Definition at line 124 of file search_sat.h.
References d_priority.
|
friend |
Definition at line 311 of file search_sat.h.
|
private |
Definition at line 117 of file search_sat.h.
Referenced by getLit(), and CVC3::operator<().
|
private |
Definition at line 118 of file search_sat.h.
Referenced by getPriority(), and CVC3::operator<().