monotoneVectorsStruct Struct Reference

Data Fields
Vec_Int_t *	attrKnownMonotone
Vec_Int_t *	attrCandMonotone
Vec_Int_t *	attrHintMonotone

Detailed Description

Definition at line 63 of file monotone.c.

Field Documentation

Vec_Int_t* monotoneVectorsStruct::attrCandMonotone

Definition at line 66 of file monotone.c.

Vec_Int_t* monotoneVectorsStruct::attrHintMonotone

Definition at line 67 of file monotone.c.

Vec_Int_t* monotoneVectorsStruct::attrKnownMonotone

Definition at line 65 of file monotone.c.

---

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

• monotone.c