CaDiCaL::sort_literals_by_var_smaller_except Struct Reference

Collaboration diagram for CaDiCaL::sort_literals_by_var_smaller_except:

Public Member Functions
	sort_literals_by_var_smaller_except (Internal *i, int my_lhs, int except2)
	sort_literals_by_var_smaller_except (Internal *i, int my_lhs)
bool	operator() (const int &a, const int &b) const

Public Attributes
CaDiCaL::Internal *	internal
int	lhs
int	except

Detailed Description

Definition at line 363 of file cadical_congruence.cpp.

Constructor & Destructor Documentation

sort_literals_by_var_smaller_except() [1/2]

CaDiCaL::sort_literals_by_var_smaller_except::sort_literals_by_var_smaller_except ( Internal * i, int my_lhs, int except2 )

inline

Definition at line 367 of file cadical_congruence.cpp.

      : internal (i), lhs (my_lhs), except (except2) {}

sort_literals_by_var_smaller_except() [2/2]

CaDiCaL::sort_literals_by_var_smaller_except::sort_literals_by_var_smaller_except ( Internal * i, int my_lhs )

inline

Definition at line 369 of file cadical_congruence.cpp.

      : internal (i), lhs (my_lhs), except (0) {}

Member Function Documentation

operator()()

bool CaDiCaL::sort_literals_by_var_smaller_except::operator() ( const int & a, const int & b ) const

inline

Definition at line 371 of file cadical_congruence.cpp.

                                                     {
    return sort_literals_by_var_rank_except (internal, lhs, except) (a) <
           sort_literals_by_var_rank_except (internal, lhs, except) (b);
    if (abs (a) == abs (except) && abs (b) != abs (except))
      return false;
    if (abs (a) != abs (except) && abs (b) == abs (except))
      return true;
    if (abs (a) == abs (lhs) && abs (b) != abs (lhs))
      return false;
    if (abs (a) != abs (lhs) && abs (b) == abs (lhs))
      return true;
    return sort_literals_by_var_rank (internal) (a) >
           sort_literals_by_var_rank (internal) (b);
  }

Member Data Documentation

except

int CaDiCaL::sort_literals_by_var_smaller_except::except

Definition at line 366 of file cadical_congruence.cpp.

internal

CaDiCaL::Internal* CaDiCaL::sort_literals_by_var_smaller_except::internal

Definition at line 364 of file cadical_congruence.cpp.

lhs

int CaDiCaL::sort_literals_by_var_smaller_except::lhs

Definition at line 365 of file cadical_congruence.cpp.

---

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

• src/sat/cadical/cadical_congruence.cpp