top | up | prev | next

BoundDisjunctiveConstraint Class

Definition at line 53 of BoundConstraint.hpp

Constructors

BoundDisjunctiveConstraint(const BoundDisjunctiveConstraint& that)

BoundDisjunctiveConstraint(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

BoundDisjunctiveConstraint Constructor

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

Definition at line 131 of BoundConstraint.cpp :
131 : BoundBinaryConstraint(that)
132 {
133 }

Declaration at line 57 of BoundConstraint.hpp

BoundDisjunctiveConstraint Constructor

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

Definition at line 126 of BoundConstraint.cpp :
126 :
127 BoundBinaryConstraint(span_, moduleId_, BoundNodeType::boundDisjunctiveConstraint, left_, right_)
128 {
129 }

Declaration at line 56 of BoundConstraint.hpp

Member Function Details

Accept Member Function

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

Definition at line 172 of BoundConstraint.cpp :
173 {
174 visitor.Visit(*this);
175 }

Declaration at line 59 of BoundConstraint.hpp

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

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

Clone Member Function

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

Definition at line 177 of BoundConstraint.cpp :
178 {
179 return new BoundDisjunctiveConstraint(*this);
180 }

Declaration at line 60 of BoundConstraint.hpp

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

Subsume Member Function

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

Definition at line 135 of BoundConstraint.cpp
Declaration at line 58 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