CaDiCaL::ClauseCounter Class Reference

Inheritance diagram for CaDiCaL::ClauseCounter:

Collaboration diagram for CaDiCaL::ClauseCounter:

Public Member Functions
	ClauseCounter ()
bool	clause (const vector< int > &c)
Public Member Functions inherited from CaDiCaL::ClauseIterator
virtual	~ClauseIterator ()
virtual bool	clause (const std::vector< int > &)=0

Public Attributes
int	vars
int64_t	clauses

Detailed Description

Definition at line 1532 of file cadical_solver.cpp.

Constructor & Destructor Documentation

ClauseCounter()

CaDiCaL::ClauseCounter::ClauseCounter ( )

inline

Definition at line 1536 of file cadical_solver.cpp.

: vars (0), clauses (0) {}

Member Function Documentation

clause()

bool CaDiCaL::ClauseCounter::clause ( const vector< int > & c )

inline

Definition at line 1537 of file cadical_solver.cpp.

                                     {
    for (const auto &lit : c) {
      CADICAL_assert (lit != INT_MIN);
      int idx = abs (lit);
      if (idx > vars)
        vars = idx;
    }
    clauses++;
    return true;
  }

Member Data Documentation

clauses

int64_t CaDiCaL::ClauseCounter::clauses

Definition at line 1535 of file cadical_solver.cpp.

vars

int CaDiCaL::ClauseCounter::vars

Definition at line 1534 of file cadical_solver.cpp.

---

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

• src/sat/cadical/cadical_solver.cpp