ConstraintUnifier Class Reference

A constraint handler to unify constraints on the fly. More...

#include <ConstraintUnifier.h>

Inheritance diagram for ConstraintUnifier:

Collaboration diagram for ConstraintUnifier:

Public Member Functions
void	handle (std::shared_ptr< TipType > t1, std::shared_ptr< TipType > t2) override
Public Member Functions inherited from ConstraintHandler
virtual	~ConstraintHandler ()=default

Detailed Description

A constraint handler to unify constraints on the fly.

Member Function Documentation

handle()

void ConstraintUnifier::handle ( std::shared_ptr< TipType >  t1, std::shared_ptr< TipType >  t2  )

overridevirtual

Implements ConstraintHandler.

---

The documentation for this class was generated from the following files:

• /home/runner/work/tipc/tipc/src/semantic/types/constraints/ConstraintUnifier.h
• /home/runner/work/tipc/tipc/src/semantic/types/constraints/ConstraintUnifier.cpp