Searched refs:AddConditionalPrecedenceWithOffset (Results 1 – 1 of 1) sorted by relevance
| /dports/math/py-or-tools/or-tools-9.2/ortools/sat/ |
| H A D | precedences.h | 88 void AddConditionalPrecedenceWithOffset(IntegerVariable i1,
314 inline void PrecedencesPropagator::AddConditionalPrecedenceWithOffset( in AddConditionalPrecedenceWithOffset() function
424 p->AddConditionalPrecedenceWithOffset(a, b, IntegerValue(offset), is_le); in ConditionalLowerOrEqualWithOffset()
450 p->AddConditionalPrecedenceWithOffset(a, b, IntegerValue(offset), is_le); in ReifiedLowerOrEqualWithOffset()
454 p->AddConditionalPrecedenceWithOffset(b, a, IntegerValue(1 - offset), in ReifiedLowerOrEqualWithOffset()
|