antecedentConsequentVectorsStruct Struct Reference

Public Attributes
Vec_Int_t *	attrAntecedents
Vec_Int_t *	attrConsequentCandidates

Detailed Description

Definition at line 43 of file disjunctiveMonotone.c.

Member Data Documentation

attrAntecedents

Vec_Int_t* antecedentConsequentVectorsStruct::attrAntecedents

Definition at line 45 of file disjunctiveMonotone.c.

attrConsequentCandidates

Vec_Int_t* antecedentConsequentVectorsStruct::attrConsequentCandidates

Definition at line 46 of file disjunctiveMonotone.c.

---

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

• src/proof/live/disjunctiveMonotone.c