abc-master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
varinfo2_t Struct Reference

Data Fields

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

Detailed Description

Definition at line 74 of file satSolver2.c.

Field Documentation

unsigned varinfo2_t::partA

Definition at line 78 of file satSolver2.c.

unsigned varinfo2_t::pol

Definition at line 77 of file satSolver2.c.

unsigned varinfo2_t::tag

Definition at line 79 of file satSolver2.c.


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