Searched refs:cons1iscontained (Results 1 – 1 of 1) sorted by relevance
6646 SCIP_Bool cons1iscontained; in removeRedundantConstraints() local6672 cons1iscontained = (consdata1->nvars <= consdata0->nvars); in removeRedundantConstraints()6685 if( !cons1iscontained ) in removeRedundantConstraints()6692 cons1iscontained = FALSE; in removeRedundantConstraints()6705 cons1iscontained = cons1iscontained && (v1 == consdata1->nvars); in removeRedundantConstraints()6707 if( cons0iscontained && cons1iscontained ) in removeRedundantConstraints()6752 else if( cons1iscontained ) in removeRedundantConstraints()