Public Attributes
unsigned	iFan0: 29

unsigned	fCompl0: 1

unsigned	fCompl: 1

unsigned	fMark0: 1

unsigned	iFan1: 29

unsigned	fCompl1: 1

unsigned	fExor: 1

unsigned	fMark1: 1

int	iNext

int	iList

word	Truth

Detailed Description

Definition at line 400 of file bdcSpfd.c.

Member Data Documentation

◆ fCompl

unsigned Bdc_Ent_t_::fCompl

Definition at line 404 of file bdcSpfd.c.

◆ fCompl0

unsigned Bdc_Ent_t_::fCompl0

Definition at line 403 of file bdcSpfd.c.

◆ fCompl1

unsigned Bdc_Ent_t_::fCompl1

Definition at line 407 of file bdcSpfd.c.

◆ fExor

unsigned Bdc_Ent_t_::fExor

Definition at line 408 of file bdcSpfd.c.

◆ fMark0

unsigned Bdc_Ent_t_::fMark0

Definition at line 405 of file bdcSpfd.c.

◆ fMark1

unsigned Bdc_Ent_t_::fMark1

Definition at line 409 of file bdcSpfd.c.

◆ iFan0

unsigned Bdc_Ent_t_::iFan0

Definition at line 402 of file bdcSpfd.c.

◆ iFan1

unsigned Bdc_Ent_t_::iFan1

Definition at line 406 of file bdcSpfd.c.

◆ iList

int Bdc_Ent_t_::iList

Definition at line 411 of file bdcSpfd.c.

◆ iNext

int Bdc_Ent_t_::iNext

Definition at line 410 of file bdcSpfd.c.

◆ Truth

word Bdc_Ent_t_::Truth

Definition at line 412 of file bdcSpfd.c.

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

src/bool/bdc/bdcSpfd.c

Public Attributes