5 #ifndef JODA_ANDPREDICATE_H
6 #define JODA_ANDPREDICATE_H
16 std::unique_ptr<Predicate>
p2);
20 virtual std::string
getType()
override;
23 const std::unique_ptr<Predicate>&
getLHS();
24 const std::unique_ptr<Predicate>&
getRHS();
33 const static std::string
type;
40 std::unique_ptr<Predicate>
p1,
p2;
Definition: RapidJsonDocument.h:22
Definition: AndPredicate.h:13
bool isCompatible(Predicate *other) override
Definition: AndPredicate.cpp:15
bool check(const RapidJsonDocument &val) override
Definition: AndPredicate.cpp:11
std::unique_ptr< Predicate > p1
Definition: AndPredicate.h:40
void accept(PredicateVisitor &v) override
Definition: AndPredicate.cpp:29
static const std::string type
Definition: AndPredicate.h:33
AndPredicate(std::unique_ptr< Predicate > p1, std::unique_ptr< Predicate > p2)
Definition: AndPredicate.cpp:7
virtual std::string getType() override
Definition: AndPredicate.cpp:23
void subAccept(PredicateVisitor &v, bool lhs)
Definition: AndPredicate.cpp:31
friend class CNFtoListPredicateVisitor
Definition: AndPredicate.h:36
const std::unique_ptr< Predicate > & getLHS()
Definition: AndPredicate.cpp:39
const std::unique_ptr< Predicate > & getRHS()
Definition: AndPredicate.cpp:43
std::unique_ptr< Predicate > p2
Definition: AndPredicate.h:40
friend class CNFPredicateVisitor
Definition: AndPredicate.h:35
Definition: CopyPredicateVisitor.h:20
Definition: PredicateVisitor.h:29
Definition: Predicate.h:20
Definition: AttributeStatAggregator.h:12