CaDiCaL::Rewrite Struct Reference

#include <congruence.hpp>

Public Member Functions
	Rewrite (int _src, int _dst, LRAT_ID _id1, LRAT_ID _id2)
	Rewrite ()

Public Attributes
int	src
int	dst
LRAT_ID	id1
LRAT_ID	id2

Detailed Description

Definition at line 287 of file congruence.hpp.

Constructor & Destructor Documentation

Rewrite() [1/2]

CaDiCaL::Rewrite::Rewrite ( int _src, int _dst, LRAT_ID _id1, LRAT_ID _id2 )

inline

Definition at line 292 of file congruence.hpp.

      : src (_src), dst (_dst), id1 (_id1), id2 (_id2) {}

Rewrite() [2/2]

CaDiCaL::Rewrite::Rewrite ( )

inline

Definition at line 294 of file congruence.hpp.

: src (0), dst (0), id1 (0), id2 (0) {}

Member Data Documentation

dst

int CaDiCaL::Rewrite::dst

Definition at line 288 of file congruence.hpp.

id1

LRAT_ID CaDiCaL::Rewrite::id1

Definition at line 289 of file congruence.hpp.

id2

LRAT_ID CaDiCaL::Rewrite::id2

Definition at line 290 of file congruence.hpp.

src

int CaDiCaL::Rewrite::src

Definition at line 288 of file congruence.hpp.

---

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

• src/sat/cadical/congruence.hpp