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

#include <var.hpp>

Collaboration diagram for CaDiCaL::Var:

Public Attributes

int level
 
int trail
 
Clausereason
 

Detailed Description

Definition at line 14 of file var.hpp.

Member Data Documentation

◆ level

int CaDiCaL::Var::level

Definition at line 19 of file var.hpp.

◆ reason

Clause* CaDiCaL::Var::reason

Definition at line 21 of file var.hpp.

◆ trail

int CaDiCaL::Var::trail

Definition at line 20 of file var.hpp.


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