top | up | prev | next

BoundAtomicConstraint Class

Definition at line 26 of BoundConstraint.hpp

Constructors

BoundAtomicConstraint(const Span& span_, const boost::uuids::uuid& moduleId_, bool satisfied_)

Member Functions

void	Accept(BoundNodeVisitor& visitor) override
BoundConstraint*	Clone() const override
bool	Satisfied() const
void	SetConcept(ConceptSymbol* conceptSymbol_)
bool	Subsume(BoundConstraint* that) const override

Member Variables

ConceptSymbol*	conceptSymbol
bool	satisfied

Constructor Details

BoundAtomicConstraint Constructor

cmajor::binder::BoundAtomicConstraint::BoundAtomicConstraint(const Span& span_, const boost::uuids::uuid& moduleId_, bool satisfied_)

Definition at line 26 of BoundConstraint.cpp :
26 :
27 BoundConstraint(span_, moduleId_, BoundNodeType::boundAtomicConstraint), satisfied(satisfied_), conceptSymbol(nullptr)
28 {
29 }

Declaration at line 29 of BoundConstraint.hpp

Member Function Details

Accept Member Function

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

Definition at line 31 of BoundConstraint.cpp :
32 {
33 visitor.Visit(*this);
34 }

Declaration at line 30 of BoundConstraint.hpp

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

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

Clone Member Function

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

Definition at line 112 of BoundConstraint.cpp :
113 {
114 return new BoundAtomicConstraint(*this);
115 }

Declaration at line 32 of BoundConstraint.hpp

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

Satisfied Member Function

bool cmajor::binder::BoundAtomicConstraint::Satisfied() const

Definition at line 33 of BoundConstraint.hpp :
33 { return satisfied; }

Called by: cmajor::binder::BoundAtomicConstraint::Subsume

SetConcept Member Function

void cmajor::binder::BoundAtomicConstraint::SetConcept(ConceptSymbol * conceptSymbol_)

Definition at line 34 of BoundConstraint.hpp :
34 { conceptSymbol = conceptSymbol_; }

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

Subsume Member Function

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

Definition at line 36 of BoundConstraint.cpp
Declaration at line 31 of BoundConstraint.hpp

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

Calls: cmajor::binder::BoundAtomicConstraint::Satisfied , cmajor::binder::BoundAtomicConstraint::Subsume , cmajor::binder::BoundBinaryConstraint::Left , cmajor::binder::BoundBinaryConstraint::Right , cmajor::binder::BoundConstraint::IsBinaryConstraint , cmajor::binder::BoundNode::GetBoundNodeType , cmajor::symbols::ConceptSymbol::RefinedConcept

Called by: cmajor::binder::BoundAtomicConstraint::Subsume

top | up | prev | next