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

#include <sweep.hpp>

Public Attributes

int lit
 
int other
 
int64_t id
 

Detailed Description

Definition at line 27 of file sweep.hpp.

Member Data Documentation

◆ id

int64_t CaDiCaL::sweep_binary::id

Definition at line 30 of file sweep.hpp.

◆ lit

int CaDiCaL::sweep_binary::lit

Definition at line 28 of file sweep.hpp.

◆ other

int CaDiCaL::sweep_binary::other

Definition at line 29 of file sweep.hpp.

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