CaDiCaL::lit_implication Struct Reference

#include <congruence.hpp>

Collaboration diagram for CaDiCaL::lit_implication:

Public Member Functions
	lit_implication (int f, int s, Clause *_id)
	lit_implication (int f, int s)
	lit_implication ()
void	swap ()

Public Attributes
int	first
int	second
Clause *	clause

Detailed Description

Definition at line 79 of file congruence.hpp.

Constructor & Destructor Documentation

lit_implication() [1/3]

CaDiCaL::lit_implication::lit_implication ( int f, int s, Clause * _id )

inline

Definition at line 83 of file congruence.hpp.

      : first (f), second (s), clause (_id) {}

lit_implication() [2/3]

CaDiCaL::lit_implication::lit_implication ( int f, int s )

inline

Definition at line 85 of file congruence.hpp.

: first (f), second (s), clause (0) {}

lit_implication() [3/3]

CaDiCaL::lit_implication::lit_implication ( )

inline

Definition at line 86 of file congruence.hpp.

: first (0), second (0), clause (nullptr) {}

Member Function Documentation

swap()

void CaDiCaL::lit_implication::swap ( )

inline

Definition at line 87 of file congruence.hpp.

{ std::swap (first, second); }

Member Data Documentation

clause

Clause* CaDiCaL::lit_implication::clause

Definition at line 82 of file congruence.hpp.

first

int CaDiCaL::lit_implication::first

Definition at line 80 of file congruence.hpp.

second

int CaDiCaL::lit_implication::second

Definition at line 81 of file congruence.hpp.

---

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

• src/sat/cadical/congruence.hpp