Deepsolver
|
Public Member Functions | |
bool | operator< (const PrioritySortItem &item) const |
bool | operator> (const PrioritySortItem &item) const |
PrioritySortItem (VarId v, const std::string &n) | |
Public Attributes | |
std::string | name |
VarId | varId |