Searched refs:ValueFactory (Results 1 – 2 of 2) sorted by relevance
151 return unite(Original, Range(ValueFactory.getValue(Point))); in unite() 157 Range(ValueFactory.getValue(From), ValueFactory.getValue(To))); in unite() 496 Range(ValueFactory.getValue(Lower), ValueFactory.getValue(Upper))); in intersect() 509 Range(ValueFactory.getMinValue(Upper), ValueFactory.getValue(Upper))); in intersect() 511 Range(ValueFactory.getValue(Lower), ValueFactory.getMaxValue(Lower))); in intersect() 606 return getRangeSet(ValueFactory in intersect() 1607 BasicValueFactory &ValueFactory; global() member in __anon769cef6f0511::SymbolicRangeInferrer [all...]
123 Factory(BasicValueFactory &BV) : ValueFactory(BV) {} in Factory()265 BasicValueFactory &getValueFactory() const { return ValueFactory; } in getValueFactory()296 BasicValueFactory &ValueFactory; variable