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

Public Attributes

unsigned pol: 1
 
unsigned partA: 1
 
unsigned tag: 4
 

Detailed Description

Definition at line 74 of file satSolver2.c.

Member Data Documentation

◆ partA

unsigned varinfo2_t::partA

Definition at line 78 of file satSolver2.c.

◆ pol

unsigned varinfo2_t::pol

Definition at line 77 of file satSolver2.c.

◆ tag

unsigned varinfo2_t::tag

Definition at line 79 of file satSolver2.c.

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