top | up | prev | next

BoundBinaryConstraint Abstract Class

Definition at line 40 of BoundConstraint.hpp

Constructors

BoundBinaryConstraint(const BoundBinaryConstraint& that)

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

Member Functions

bool	IsBinaryConstraint() const override
BoundConstraint*	Left() const
BoundConstraint*	Right() const

Member Variables

std::unique_ptr<BoundConstraint>	left
std::unique_ptr<BoundConstraint>	right

Constructor Details

BoundBinaryConstraint Constructor

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

Definition at line 122 of BoundConstraint.cpp :
122 : BoundConstraint(that), left(that.left->Clone()), right(that.right->Clone())
123 {
124 }

Declaration at line 44 of BoundConstraint.hpp

BoundBinaryConstraint Constructor

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

Definition at line 117 of BoundConstraint.cpp :
117 :
118 BoundConstraint(span_, moduleId_, boundNodeType_), left(left_), right(right_)
119 {
120 }

Declaration at line 43 of BoundConstraint.hpp

Member Function Details

IsBinaryConstraint Member Function

bool cmajor::binder::BoundBinaryConstraint::IsBinaryConstraint() const override

Definition at line 45 of BoundConstraint.hpp :
45 { return true; }

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

Left Member Function

BoundConstraint * cmajor::binder::BoundBinaryConstraint::Left() const

Definition at line 46 of BoundConstraint.hpp :
46 { return left.get(); }

Called by: cmajor::binder::BoundAtomicConstraint::Subsume , cmajor::binder::BoundConjunctiveConstraint::Subsume , cmajor::binder::BoundDisjunctiveConstraint::Subsume

Right Member Function

BoundConstraint * cmajor::binder::BoundBinaryConstraint::Right() const

Definition at line 47 of BoundConstraint.hpp :
47 { return right.get(); }

Called by: cmajor::binder::BoundAtomicConstraint::Subsume , cmajor::binder::BoundConjunctiveConstraint::Subsume , cmajor::binder::BoundDisjunctiveConstraint::Subsume

top | up | prev | next