top | up | prev | next

BoundConstraint Abstract Class

Definition at line 15 of BoundConstraint.hpp

Constructors

BoundConstraint(const Span& span_, const boost::uuids::uuid& moduleId_, BoundNodeType boundNodeType_)

Member Functions

BoundConstraint* Clone() const pure virtual
bool IsBinaryConstraint() const virtual
void Load(Emitter& emitter, OperationFlags flags) override
void Store(Emitter& emitter, OperationFlags flags) override
bool Subsume(BoundConstraint* that) const pure virtual

Constructor Details

BoundConstraint Constructor

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

Definition at line 12 of BoundConstraint.cpp :
 12 : BoundNode(span_, moduleId_, boundNodeType_)
 13 {
 14 }

Declaration at line 18 of BoundConstraint.hpp

Member Function Details

Clone Member Function

BoundConstraint * cmajor::binder::BoundConstraint::Clone() const pure virtual

Definition at line 20 of BoundConstraint.hpp

Derived class overrides: cmajor::binder::BoundAtomicConstraint::Clone , cmajor::binder::BoundConjunctiveConstraint::Clone , cmajor::binder::BoundDisjunctiveConstraint::Clone

Called by: cmajor::binder::ConstraintChecker::Visit , cmajor::binder::ConstraintChecker::Visit , cmajor::binder::ConstraintChecker::Visit

IsBinaryConstraint Member Function

bool cmajor::binder::BoundConstraint::IsBinaryConstraint() const virtual

Definition at line 21 of BoundConstraint.hpp :
 21 { return false; }

Derived class overrides: cmajor::binder::BoundBinaryConstraint::IsBinaryConstraint

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

Load Member Function

void cmajor::binder::BoundConstraint::Load(Emitter & emitter, OperationFlags flags) override

Definition at line 16 of BoundConstraint.cpp :
 17 {
 18     throw Exception("cannot load constraint", GetSpan(), ModuleId());
 19 }

Declaration at line 22 of BoundConstraint.hpp

Base class overridden functions: cmajor::ir::GenObject::Load

Calls: cmajor::binder::BoundNode::GetSpan , cmajor::binder::BoundNode::ModuleId

Store Member Function

void cmajor::binder::BoundConstraint::Store(Emitter & emitter, OperationFlags flags) override

Definition at line 21 of BoundConstraint.cpp :
 22 {
 23     throw Exception("cannot store constraint", GetSpan(), ModuleId());
 24 }

Declaration at line 23 of BoundConstraint.hpp

Base class overridden functions: cmajor::ir::GenObject::Store

Calls: cmajor::binder::BoundNode::GetSpan , cmajor::binder::BoundNode::ModuleId

Subsume Member Function

bool cmajor::binder::BoundConstraint::Subsume(BoundConstraint * that) const pure virtual

Definition at line 19 of BoundConstraint.hpp

Derived class overrides: cmajor::binder::BoundAtomicConstraint::Subsume , cmajor::binder::BoundConjunctiveConstraint::Subsume , cmajor::binder::BoundDisjunctiveConstraint::Subsume

Called by: cmajor::binder::BetterFunctionMatch::operator() , cmajor::binder::BoundConjunctiveConstraint::Subsume , cmajor::binder::BoundDisjunctiveConstraint::Subsume

top | up | prev | next