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:

• src/sat/cadical/queue.hpp