blob: 41cca7ccd0e83dac90c7fa252d27075fc70879af (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
#ifndef PROJECTIONNODE_H_
#define PROJECTIONNODE_H_
#include "node.h"
#include "visitor.h"
#include <string>
class ProjectionNode : public AbstractPolyNode
{
public:
ProjectionNode(const ModuleInstantiation *mi) : AbstractPolyNode(mi) {
cut_mode = false;
}
virtual Response accept(class State &state, Visitor &visitor) const {
return visitor.visit(state, *this);
}
virtual std::string toString() const;
virtual std::string name() const { return "projection"; }
int convexity;
bool cut_mode;
virtual PolySet *evaluate_polyset(class PolySetEvaluator *evaluator) const;
};
#endif
|
