Class EqPredicate

src/QLPredicate.h:221–246

};

struct EqPredicate : IPredicate, ReferenceCounted<EqPredicate>, FastAllocated<EqPredicate> {
	void addref() override { ReferenceCounted<EqPredicate>::addref(); }
	void delref() override { ReferenceCounted<EqPredicate>::delref(); }

	TypeCode getTypeCode() const override { return TypeCode::EQ; }

	DataValue value;

	explicit EqPredicate(DataValue const& value) : value(value) {}

	Future<bool> evaluate(Reference<IReadContext> const& context) override;
	// EqPredicate can't be simplified, so no simplify()
	std::string toString() override;

	void simplify_and(SimplifyAndContext& combinable) override;

	bool range_is_tight() override { return true; }

	void get_range(Optional<DataValue>& min, Optional<DataValue>& max) override {
		min = value;
		max = value;
	}
	// Not(Eq) could be translated to Or(Range,Range), but it's not
	// obvious that this is always a win without knowing about
	// available indexes, so no simplify_not() here.
};

struct NotPredicate : IPredicate, ReferenceCounted<NotPredicate>, FastAllocated<NotPredicate> {
	void addref() override { ReferenceCounted<NotPredicate>::addref(); }