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

Public Attributes

unsigned val: 2
 
unsigned pol: 1
 
unsigned tag: 1
 
unsigned lev: 28
 

Detailed Description

Definition at line 81 of file satSolver.c.

Member Data Documentation

◆ lev

unsigned varinfo_t::lev

Definition at line 86 of file satSolver.c.

◆ pol

unsigned varinfo_t::pol

Definition at line 84 of file satSolver.c.

◆ tag

unsigned varinfo_t::tag

Definition at line 85 of file satSolver.c.

◆ val

unsigned varinfo_t::val

Definition at line 83 of file satSolver.c.

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