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

Public Attributes

int Table
 
int Next
 
int Cube
 
unsigned VarA: 16
 
unsigned VarB: 16
 
unsigned Cost: 17
 
unsigned LitA: 15
 
unsigned LitB: 15
 
unsigned LitC: 15
 
unsigned Func: 2
 

Detailed Description

Definition at line 72 of file plaHash.c.

Member Data Documentation

◆ Cost

unsigned Tab_Obj_t_::Cost

Definition at line 54 of file bmcFx.c.

◆ Cube

int Tab_Obj_t_::Cube

Definition at line 76 of file plaHash.c.

◆ Func

unsigned Tab_Obj_t_::Func

Definition at line 58 of file bmcFx.c.

◆ LitA

unsigned Tab_Obj_t_::LitA

Definition at line 55 of file bmcFx.c.

◆ LitB

unsigned Tab_Obj_t_::LitB

Definition at line 56 of file bmcFx.c.

◆ LitC

unsigned Tab_Obj_t_::LitC

Definition at line 57 of file bmcFx.c.

◆ Next

int Tab_Obj_t_::Next

Definition at line 75 of file plaHash.c.

◆ Table

int Tab_Obj_t_::Table

Definition at line 74 of file plaHash.c.

◆ VarA

unsigned Tab_Obj_t_::VarA

Definition at line 77 of file plaHash.c.

◆ VarB

unsigned Tab_Obj_t_::VarB

Definition at line 78 of file plaHash.c.

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