CaDiCaL::literal_occ Struct Reference

Public Member Functions
bool	operator< (const literal_occ &locc) const
literal_occ	operator++ ()

Public Attributes
int	lit
int	count

Detailed Description

Definition at line 9 of file cadical_lookahead.cpp.

Member Function Documentation

operator++()

literal_occ CaDiCaL::literal_occ::operator++ ( )

inline

Definition at line 15 of file cadical_lookahead.cpp.

                            {
    ++count;
    return *this;
  }

operator<()

bool CaDiCaL::literal_occ::operator< ( const literal_occ & locc ) const

inline

Definition at line 12 of file cadical_lookahead.cpp.

                                                 {
    return (count > locc.count) || (count == locc.count && lit < locc.lit);
  }

Member Data Documentation

count

int CaDiCaL::literal_occ::count

Definition at line 11 of file cadical_lookahead.cpp.

lit

int CaDiCaL::literal_occ::lit

Definition at line 10 of file cadical_lookahead.cpp.

---

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

• src/sat/cadical/cadical_lookahead.cpp