Searched refs:monotoneVector (Results 1 – 1 of 1) sorted by relevance
443 Vec_Ptr_t *monotoneVector; in collectUserGivenDisjunctiveMonotoneSignals() local446 monotoneVector = Vec_PtrAlloc(0); in collectUserGivenDisjunctiveMonotoneSignals()452 Vec_PtrPush(monotoneVector, newIntVector); in collectUserGivenDisjunctiveMonotoneSignals()456 if( Vec_PtrSize(monotoneVector) > 0 ) in collectUserGivenDisjunctiveMonotoneSignals()457 return monotoneVector; in collectUserGivenDisjunctiveMonotoneSignals()