CaDiCaL::CompactBinary Struct Reference

#include <congruence.hpp>

Collaboration diagram for CaDiCaL::CompactBinary:

Public Member Functions
	CompactBinary (Clause *c, LRAT_ID i, int l1, int l2)
	CompactBinary ()

Public Attributes
Clause *	clause
LRAT_ID	id
int	lit1
int	lit2

Detailed Description

Definition at line 272 of file congruence.hpp.

Constructor & Destructor Documentation

CompactBinary() [1/2]

CaDiCaL::CompactBinary::CompactBinary ( Clause * c, LRAT_ID i, int l1, int l2 )

inline

Definition at line 276 of file congruence.hpp.

      : clause (c), id (i), lit1 (l1), lit2 (l2) {}

CompactBinary() [2/2]

CaDiCaL::CompactBinary::CompactBinary ( )

inline

Definition at line 278 of file congruence.hpp.

: clause (nullptr), id (0), lit1 (0), lit2 (0) {}

Member Data Documentation

clause

Clause* CaDiCaL::CompactBinary::clause

Definition at line 273 of file congruence.hpp.

id

LRAT_ID CaDiCaL::CompactBinary::id

Definition at line 274 of file congruence.hpp.

lit1

int CaDiCaL::CompactBinary::lit1

Definition at line 275 of file congruence.hpp.

lit2

int CaDiCaL::CompactBinary::lit2

Definition at line 275 of file congruence.hpp.

---

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

• src/sat/cadical/congruence.hpp