Searched refs:_Yfixed (Results 1 – 2 of 2) sorted by relevance
289 _Yfixed.Clear(); in ~OBFFConstraints()306 _Yfixed = ai._Yfixed;408 OBBitVec _Yfixed; variable
454 _Yfixed.Clear(); in Clear()552 _Yfixed.SetBitOff(i->ia); in DeleteConstraint()607 _Yfixed.SetBitOn(a); in AddAtomYConstraint()728 return _Yfixed.BitIsSet(index); in IsYFixed()