ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
CaDiCaL::Link Struct Reference

#include <queue.hpp>

Public Attributes

int prev
 
int next
 

Detailed Description

Definition at line 14 of file queue.hpp.

Member Data Documentation

◆ next

int CaDiCaL::Link::next

Definition at line 16 of file queue.hpp.

◆ prev

int CaDiCaL::Link::prev

Definition at line 16 of file queue.hpp.


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