top | up | prev | next

DisjunctiveConstraintNode Class

Definition at line 53 of Concept.hpp

Constructors

DisjunctiveConstraintNode(const Span& span_)

DisjunctiveConstraintNode(const Span& span_, ConstraintNode* left_, ConstraintNode* right_)

Member Functions

void	Accept(Visitor& visitor) override
Node*	Clone(CloneContext& cloneContext) const override
std::string	ToString() const override

Constructor Details

DisjunctiveConstraintNode Constructor

sngcm::ast::DisjunctiveConstraintNode::DisjunctiveConstraintNode(const Span& span_)

Definition at line 80 of Concept.cpp :
  80 : BinaryConstraintNode(NodeType::disjunctiveConstraintNode, span_)
  81 {
  82 }

Declaration at line 56 of Concept.hpp

DisjunctiveConstraintNode Constructor

sngcm::ast::DisjunctiveConstraintNode::DisjunctiveConstraintNode(const Span& span_, ConstraintNode * left_, ConstraintNode * right_)

Definition at line 84 of Concept.cpp :
  84 :
  85 BinaryConstraintNode(NodeType::disjunctiveConstraintNode, span_, left_, right_)
  86 {
  87 }

Declaration at line 57 of Concept.hpp

Member Function Details

Accept Member Function

void sngcm::ast::DisjunctiveConstraintNode::Accept(Visitor & visitor) override

Definition at line 94 of Concept.cpp :
  95 {
  96     visitor.Visit(*this);
  97 }

Declaration at line 59 of Concept.hpp

Base class overridden functions: sngcm::ast::Node::Accept

Calls: sngcm::ast::Visitor::Visit

Clone Member Function

Node * sngcm::ast::DisjunctiveConstraintNode::Clone(CloneContext & cloneContext) const override

Definition at line 89 of Concept.cpp :
  90 {
  91     return new DisjunctiveConstraintNode(GetSpan(), static_cast<ConstraintNode*>(Left()->Clone(cloneContext)), static_cast<ConstraintNode*>(Right()->Clone(cloneContext)));
  92 }

Declaration at line 58 of Concept.hpp

Base class overridden functions: sngcm::ast::Node::Clone

Calls: sngcm::ast::BinaryConstraintNode::Left , sngcm::ast::BinaryConstraintNode::Right , sngcm::ast::Node::Clone , sngcm::ast::Node::GetSpan

ToString Member Function

std::string sngcm::ast::DisjunctiveConstraintNode::ToString() const override

Definition at line 99 of Concept.cpp :
100 {
101 return Left()->ToString() + " or " + Right()->ToString();
102 }

Declaration at line 60 of Concept.hpp

Base class overridden functions: sngcm::ast::Node::ToString

Calls: sngcm::ast::BinaryConstraintNode::Left , sngcm::ast::BinaryConstraintNode::Right , sngcm::ast::Node::ToString

top | up | prev | next