CaDiCaL::sort_literals_by_var_rank_except Struct Reference

Collaboration diagram for CaDiCaL::sort_literals_by_var_rank_except:

Public Types
typedef uint64_t	Type

Public Member Functions
	sort_literals_by_var_rank_except (Internal *i, int my_lhs, int except2)
	sort_literals_by_var_rank_except (Internal *i, int my_lhs)
Type	operator() (const int &a) const

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

Detailed Description

Definition at line 342 of file cadical_congruence.cpp.

Member Typedef Documentation

Type

typedef uint64_t CaDiCaL::sort_literals_by_var_rank_except::Type

Definition at line 350 of file cadical_congruence.cpp.

Constructor & Destructor Documentation

sort_literals_by_var_rank_except() [1/2]

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

inline

Definition at line 346 of file cadical_congruence.cpp.

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

sort_literals_by_var_rank_except() [2/2]

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

inline

Definition at line 348 of file cadical_congruence.cpp.

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

Member Function Documentation

operator()()

Type CaDiCaL::sort_literals_by_var_rank_except::operator() ( const int & a ) const

inline

Definition at line 351 of file cadical_congruence.cpp.

                                       {
    Type res = 0;
    if (abs (a) == abs (except))
      res = 1 - (a > 0);
    else if (abs (a) == abs (lhs))
      res = 3 - (a > 0);
    else
      res = internal->vlit (a) + 2; // probably +2 enough
    return ~res;
  }

Member Data Documentation

except

int CaDiCaL::sort_literals_by_var_rank_except::except

Definition at line 345 of file cadical_congruence.cpp.

internal

CaDiCaL::Internal* CaDiCaL::sort_literals_by_var_rank_except::internal

Definition at line 343 of file cadical_congruence.cpp.

lhs

int CaDiCaL::sort_literals_by_var_rank_except::lhs

Definition at line 344 of file cadical_congruence.cpp.

---

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

• src/sat/cadical/cadical_congruence.cpp