CaDiCaL::LitIdPair Struct Reference

#include <congruence.hpp>

Public Member Functions
	LitIdPair (int l, LRAT_ID i)
	LitIdPair ()

Public Attributes
int	lit
LRAT_ID	id

Detailed Description

Definition at line 141 of file congruence.hpp.

Constructor & Destructor Documentation

LitIdPair() [1/2]

CaDiCaL::LitIdPair::LitIdPair ( int l, LRAT_ID i )

inline

Definition at line 144 of file congruence.hpp.

: lit (l), id (i) {}

LitIdPair() [2/2]

CaDiCaL::LitIdPair::LitIdPair ( )

inline

Definition at line 145 of file congruence.hpp.

: lit (0), id (0) {}

Member Data Documentation

id

LRAT_ID CaDiCaL::LitIdPair::id

Definition at line 143 of file congruence.hpp.

lit

int CaDiCaL::LitIdPair::lit

Definition at line 142 of file congruence.hpp.

---

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

• src/sat/cadical/congruence.hpp