2014-04-28 21:09:25 +04:00
|
|
|
#pragma once
|
2010-03-02 21:22:31 +03:00
|
|
|
|
|
|
|
#include "node.h"
|
|
|
|
#include "visitor.h"
|
2011-08-04 06:58:17 +04:00
|
|
|
#include <string>
|
2010-03-02 21:22:31 +03:00
|
|
|
|
|
|
|
class ProjectionNode : public AbstractPolyNode
|
|
|
|
{
|
|
|
|
public:
|
|
|
|
ProjectionNode(const ModuleInstantiation *mi) : AbstractPolyNode(mi) {
|
|
|
|
cut_mode = false;
|
|
|
|
}
|
2010-08-28 19:34:22 +04:00
|
|
|
virtual Response accept(class State &state, Visitor &visitor) const {
|
2010-03-02 21:22:31 +03:00
|
|
|
return visitor.visit(state, *this);
|
|
|
|
}
|
|
|
|
virtual std::string toString() const;
|
2010-08-28 23:21:44 +04:00
|
|
|
virtual std::string name() const { return "projection"; }
|
2010-03-02 21:22:31 +03:00
|
|
|
|
|
|
|
int convexity;
|
|
|
|
bool cut_mode;
|
|
|
|
};
|