CaDiCaL::ClauseSize Struct Reference

#include <congruence.hpp>

Collaboration diagram for CaDiCaL::ClauseSize:

Public Member Functions
	ClauseSize (int s, Clause *c)
	ClauseSize (Clause *c)
	ClauseSize ()

Public Attributes
size_t	size
Clause *	clause

Detailed Description

Definition at line 154 of file congruence.hpp.

Constructor & Destructor Documentation

ClauseSize() [1/3]

CaDiCaL::ClauseSize::ClauseSize ( int s, Clause * c )

inline

Definition at line 157 of file congruence.hpp.

: size (s), clause (c) {}

ClauseSize() [2/3]

CaDiCaL::ClauseSize::ClauseSize ( Clause * c )

inline

Definition at line 158 of file congruence.hpp.

: size (c->size), clause (c) {}

ClauseSize() [3/3]

CaDiCaL::ClauseSize::ClauseSize ( )

inline

Definition at line 159 of file congruence.hpp.

{}

Member Data Documentation

clause

Clause* CaDiCaL::ClauseSize::clause

Definition at line 156 of file congruence.hpp.

size

size_t CaDiCaL::ClauseSize::size

Definition at line 155 of file congruence.hpp.

---

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

• src/sat/cadical/congruence.hpp