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

#include <sweep.hpp>

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

Public Attributes

unsigned sweep_id
 
int64_t cad_id
 
unsigned kit_id
 
bool learned
 
vector< int > literals
 
vector< unsigned > chain
 

Detailed Description

Definition at line 12 of file sweep.hpp.

Member Data Documentation

◆ cad_id

int64_t CaDiCaL::sweep_proof_clause::cad_id

Definition at line 14 of file sweep.hpp.

◆ chain

vector<unsigned> CaDiCaL::sweep_proof_clause::chain

Definition at line 18 of file sweep.hpp.

◆ kit_id

unsigned CaDiCaL::sweep_proof_clause::kit_id

Definition at line 15 of file sweep.hpp.

◆ learned

bool CaDiCaL::sweep_proof_clause::learned

Definition at line 16 of file sweep.hpp.

◆ literals

vector<int> CaDiCaL::sweep_proof_clause::literals

Definition at line 17 of file sweep.hpp.

◆ sweep_id

unsigned CaDiCaL::sweep_proof_clause::sweep_id

Definition at line 13 of file sweep.hpp.

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