NegatePredicate.h

Go to the documentation of this file.

//
// Created by "Nico Schaefer" on 12/9/16.
//
 
#ifndef JODA_NEGATEPREDICATE_H
#define JODA_NEGATEPREDICATE_H
 
#include "AndPredicate.h"
#include "Predicate.h"
 
namespace joda::query {
class NegatePredicate : public joda::query::Predicate {
 public:
  explicit NegatePredicate(std::unique_ptr<Predicate> pred);
  bool check(const RapidJsonDocument &val) override;
  bool isCompatible(Predicate *other) override;
  virtual std::string getType() override;
  void accept(class PredicateVisitor &v) override;
 
  void setPredicate(std::unique_ptr<Predicate> pred);
  void subAccept(class PredicateVisitor &v);
  const static std::string type;
 
  friend class CNFPredicateVisitor;
  friend class CNFtoListPredicateVisitor;
  friend class CopyPredicateVisitor;
  friend class CrackPredicateVisitor;
 
 protected:
  std::unique_ptr<Predicate> pred;
};
}  // namespace joda::query
 
#endif  // JODA_NEGATEPREDICATE_H