Rf2_Obj_t_ Struct Reference

Public Attributes
unsigned	Value: 1
unsigned	fVisit: 1
unsigned	fPPi: 1
unsigned	Prio: 24

Detailed Description

Definition at line 76 of file absRefJ.c.

Member Data Documentation

fPPi

unsigned Rf2_Obj_t_::fPPi

Definition at line 80 of file absRefJ.c.

fVisit

unsigned Rf2_Obj_t_::fVisit

Definition at line 79 of file absRefJ.c.

Prio

unsigned Rf2_Obj_t_::Prio

Definition at line 81 of file absRefJ.c.

Value

unsigned Rf2_Obj_t_::Value

Definition at line 78 of file absRefJ.c.

---

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

• src/proof/abs/absRefJ.c