top | up | prev | next

BoundConjunctiveConstraint Class

Definition at line 63 of BoundConstraint.hpp

Constructors

BoundConjunctiveConstraint(const BoundConjunctiveConstraint& that)

BoundConjunctiveConstraint(const Span& span_, const boost::uuids::uuid& moduleId_, BoundConstraint* left_, BoundConstraint* right_)

Member Functions

void	Accept(BoundNodeVisitor& visitor) override
BoundConstraint*	Clone() const override
bool	Subsume(BoundConstraint* that) const override

Constructor Details

BoundConjunctiveConstraint Constructor

cmajor::binder::BoundConjunctiveConstraint::BoundConjunctiveConstraint(const BoundConjunctiveConstraint & that)

Definition at line 187 of BoundConstraint.cpp :
187 : BoundBinaryConstraint(that)
188 {
189 }

Declaration at line 67 of BoundConstraint.hpp

BoundConjunctiveConstraint Constructor

cmajor::binder::BoundConjunctiveConstraint::BoundConjunctiveConstraint(const Span& span_, const boost::uuids::uuid& moduleId_, BoundConstraint * left_, BoundConstraint * right_)

Definition at line 182 of BoundConstraint.cpp :
182 :
183 BoundBinaryConstraint(span_, moduleId_, BoundNodeType::boundConjunctiveConstraint, left_, right_)
184 {
185 }

Declaration at line 66 of BoundConstraint.hpp

Member Function Details

Accept Member Function

void cmajor::binder::BoundConjunctiveConstraint::Accept(BoundNodeVisitor & visitor) override

Definition at line 228 of BoundConstraint.cpp :
229 {
230 visitor.Visit(*this);
231 }

Declaration at line 69 of BoundConstraint.hpp

Base class overridden functions: cmajor::binder::BoundNode::Accept

Calls: cmajor::binder::BoundNodeVisitor::Visit

Clone Member Function

BoundConstraint * cmajor::binder::BoundConjunctiveConstraint::Clone() const override

Definition at line 233 of BoundConstraint.cpp :
234 {
235 return new BoundConjunctiveConstraint(*this);
236 }

Declaration at line 70 of BoundConstraint.hpp

Base class overridden functions: cmajor::binder::BoundConstraint::Clone

Subsume Member Function

bool cmajor::binder::BoundConjunctiveConstraint::Subsume(BoundConstraint * that) const override

Definition at line 191 of BoundConstraint.cpp
Declaration at line 68 of BoundConstraint.hpp

Base class overridden functions: cmajor::binder::BoundConstraint::Subsume

Calls: cmajor::binder::BoundBinaryConstraint::Left , cmajor::binder::BoundBinaryConstraint::Right , cmajor::binder::BoundConstraint::IsBinaryConstraint , cmajor::binder::BoundConstraint::Subsume , cmajor::binder::BoundNode::GetBoundNodeType

top | up | prev | next