Searched refs:atBounds (Results 1 – 5 of 5) sorted by relevance
157 BoundsInfo(BoundCounts atBounds, BoundCounts hasBounds) in BoundsInfo() argument158 : d_atBounds(atBounds), d_hasBounds(hasBounds) {} in BoundsInfo()160 BoundCounts atBounds() const { return d_atBounds; } in atBounds() function225 os << "[bi : @ " << inf.atBounds() << ", " << inf.hasBounds() << "]";
182 BoundCounts BoundCountingLookup::atBounds(ArithVar basic) const{ in atBounds() function in CVC4::theory::arith::BoundCountingLookup183 return boundsInfo(basic).atBounds(); in atBounds()
189 BoundCounts atBounds(ArithVar basic) const;
901 return d_btracking[d_tableau.basicToRowIndex(x_i)].atBounds(); in debugBasicAtBoundCount()927 BoundCounts bcs = d_btracking[ridx].atBounds(); in basicsAtBounds()953 BoundCounts bcs = d_btracking[ridx].atBounds(); in nonbasicsAtLowerBounds()971 BoundCounts bcs = d_btracking[ridx].atBounds(); in nonbasicsAtUpperBounds()1106 BoundCounts bc = d_btracking[ridx].atBounds(); in willBeInConflictAfterPivot()
367 BoundCounts bcs = d_boundLookup.atBounds(a); in sumMetric()