31#ifndef LOGICCRITERION_H
32#define LOGICCRITERION_H
37 const unsigned tag_a, tag_b;
45 int initialize(
const shared_ptr<DomainBase>&)
override;
52 unique_ptr<Criterion>
get_copy()
override;
54 int process(
const shared_ptr<DomainBase>&)
override;
61 unique_ptr<Criterion>
get_copy()
override;
63 int process(
const shared_ptr<DomainBase>&)
override;
A Criterion class.
Definition: Criterion.h:38
Definition: LogicCriterion.h:48
int process(const shared_ptr< DomainBase > &) override
Definition: LogicCriterion.cpp:49
unique_ptr< Criterion > get_copy() override
Definition: LogicCriterion.cpp:47
A LogicCriterion class.
Definition: LogicCriterion.h:36
int initialize(const shared_ptr< DomainBase > &) override
Definition: LogicCriterion.cpp:26
shared_ptr< Criterion > criterion_b
Definition: LogicCriterion.h:40
LogicCriterion(unsigned, unsigned, unsigned, unsigned)
Definition: LogicCriterion.cpp:21
shared_ptr< Criterion > criterion_a
Definition: LogicCriterion.h:40
Definition: LogicCriterion.h:57
unique_ptr< Criterion > get_copy() override
Definition: LogicCriterion.cpp:58
int process(const shared_ptr< DomainBase > &) override
Definition: LogicCriterion.cpp:60