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

#include <fxuInt.h>

Collaboration diagram for FxuLit:
Collaboration graph
[legend]

Public Attributes

int iVar
 
int iCube
 
Fxu_Cube * pCube
 
Fxu_Var * pVar
 
Fxu_Lit * pHPrev
 
Fxu_Lit * pHNext
 
Fxu_Lit * pVPrev
 
Fxu_Lit * pVNext
 

Detailed Description

Definition at line 226 of file fxuInt.h.

Member Data Documentation

◆ iCube

int FxuLit::iCube

Definition at line 229 of file fxuInt.h.

◆ iVar

int FxuLit::iVar

Definition at line 228 of file fxuInt.h.

◆ pCube

Fxu_Cube* FxuLit::pCube

Definition at line 230 of file fxuInt.h.

◆ pHNext

Fxu_Lit* FxuLit::pHNext

Definition at line 233 of file fxuInt.h.

◆ pHPrev

Fxu_Lit* FxuLit::pHPrev

Definition at line 232 of file fxuInt.h.

◆ pVar

Fxu_Var* FxuLit::pVar

Definition at line 231 of file fxuInt.h.

◆ pVNext

Fxu_Lit* FxuLit::pVNext

Definition at line 235 of file fxuInt.h.

◆ pVPrev

Fxu_Lit* FxuLit::pVPrev

Definition at line 234 of file fxuInt.h.

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