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

#include <checker.hpp>

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

Public Member Functions

 CheckerWatch ()
 
 CheckerWatch (int b, CheckerClause *c)
 

Public Attributes

int blit
 
unsigned size
 
CheckerClause * clause
 

Detailed Description

Definition at line 41 of file checker.hpp.

Constructor & Destructor Documentation

◆ CheckerWatch() [1/2]

CaDiCaL::CheckerWatch::CheckerWatch ( )
inline

Definition at line 45 of file checker.hpp.

45{}

◆ CheckerWatch() [2/2]

CaDiCaL::CheckerWatch::CheckerWatch ( int b,
CheckerClause * c )
inline

Definition at line 46 of file checker.hpp.

47 : blit (b), size (c->size), clause (c) {}
CaDiCaL::CheckerWatch::clause
CheckerClause * clause
Definition checker.hpp:44

Member Data Documentation

◆ blit

int CaDiCaL::CheckerWatch::blit

Definition at line 42 of file checker.hpp.

◆ clause

CheckerClause* CaDiCaL::CheckerWatch::clause

Definition at line 44 of file checker.hpp.

◆ size

unsigned CaDiCaL::CheckerWatch::size

Definition at line 43 of file checker.hpp.

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