ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Public Member Functions | Public Attributes | List of all members
CaDiCaL::LitClausePair Struct Reference

#include <congruence.hpp>

Collaboration diagram for CaDiCaL::LitClausePair:
Collaboration graph
[legend]

Public Member Functions

 LitClausePair (int lit, Clause *cl)
 
 LitClausePair ()
 

Public Attributes

int current_lit
 
Clause * clause
 

Detailed Description

Definition at line 135 of file congruence.hpp.

Constructor & Destructor Documentation

◆ LitClausePair() [1/2]

CaDiCaL::LitClausePair::LitClausePair ( int lit,
Clause * cl )
inline

Definition at line 138 of file congruence.hpp.

138: current_lit (lit), clause (cl) {}
lit
int lit
Definition satVec.h:130

◆ LitClausePair() [2/2]

CaDiCaL::LitClausePair::LitClausePair ( )
inline

Definition at line 139 of file congruence.hpp.

139: current_lit (0), clause (nullptr) {}

Member Data Documentation

◆ clause

Clause* CaDiCaL::LitClausePair::clause

Definition at line 137 of file congruence.hpp.

◆ current_lit

int CaDiCaL::LitClausePair::current_lit

Definition at line 136 of file congruence.hpp.

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