antecedentConsequentVectorsStruct Struct Reference

Data Fields
Vec_Int_t *	attrAntecedents
Vec_Int_t *	attrConsequentCandidates

Detailed Description

Definition at line 43 of file disjunctiveMonotone.c.

Field Documentation

Vec_Int_t* antecedentConsequentVectorsStruct::attrAntecedents

Definition at line 45 of file disjunctiveMonotone.c.

Vec_Int_t* antecedentConsequentVectorsStruct::attrConsequentCandidates

Definition at line 46 of file disjunctiveMonotone.c.

---

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

• disjunctiveMonotone.c