monotoneVectorsStruct Struct Reference

Public Attributes
Vec_Int_t *	attrKnownMonotone
Vec_Int_t *	attrCandMonotone
Vec_Int_t *	attrHintMonotone

Detailed Description

Definition at line 63 of file monotone.c.

Member Data Documentation

attrCandMonotone

Vec_Int_t* monotoneVectorsStruct::attrCandMonotone

Definition at line 66 of file monotone.c.

attrHintMonotone

Vec_Int_t* monotoneVectorsStruct::attrHintMonotone

Definition at line 67 of file monotone.c.

attrKnownMonotone

Vec_Int_t* monotoneVectorsStruct::attrKnownMonotone

Definition at line 65 of file monotone.c.

---

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

• src/proof/live/monotone.c