Detailed Description

Definition at line 39 of file pr.c.

Field Documentation

unsigned Pr_Cls_t_::fA

Definition at line 48 of file pr.c.

unsigned Pr_Cls_t_::fRoot

Definition at line 49 of file pr.c.

unsigned Pr_Cls_t_::fVisit

Definition at line 50 of file pr.c.

int Pr_Cls_t_::Id

Definition at line 47 of file pr.c.

unsigned Pr_Cls_t_::nLits

Definition at line 51 of file pr.c.

lit Pr_Cls_t_::pLits[0]

Definition at line 52 of file pr.c.

Pr_Cls_t* Pr_Cls_t_::pNext

Definition at line 44 of file pr.c.

Pr_Cls_t* Pr_Cls_t_::pNext0

Definition at line 45 of file pr.c.

Pr_Cls_t* Pr_Cls_t_::pNext1

Definition at line 46 of file pr.c.

void* Pr_Cls_t_::pProof

Definition at line 42 of file pr.c.

unsigned Pr_Cls_t_::uTruth

Definition at line 41 of file pr.c.

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