TypeConstraint Class Reference

A simple type constraint representation. More...

#include <TypeConstraint.h>

Public Member Functions
	TypeConstraint ()=delete
	TypeConstraint (std::shared_ptr< TipType > l, std::shared_ptr< TipType > r)
bool	operator== (const TypeConstraint &other) const
	Two constraints are equal if their underlying terms are equal. More...
bool	operator!= (const TypeConstraint &other) const

Public Attributes
std::shared_ptr< TipType >	lhs
std::shared_ptr< TipType >	rhs

Friends
std::ostream &	operator<< (std::ostream &os, const TypeConstraint &obj)

Detailed Description

A simple type constraint representation.

Constructor & Destructor Documentation

TypeConstraint() [1/2]

TypeConstraint::TypeConstraint ( )

delete

TypeConstraint() [2/2]

TypeConstraint::TypeConstraint	(	std::shared_ptr< TipType >	l,
		std::shared_ptr< TipType >	r
	)

Member Function Documentation

operator!=()

bool TypeConstraint::operator!=

(

const TypeConstraint &

other

)

const

operator==()

bool TypeConstraint::operator==

(

const TypeConstraint &

other

)

const

Two constraints are equal if their underlying terms are equal.

Friends And Related Function Documentation

operator<<

std::ostream& operator<< ( std::ostream &  os, const TypeConstraint &  obj  )

friend

Member Data Documentation

lhs

std::shared_ptr<TipType> TypeConstraint::lhs

rhs

std::shared_ptr<TipType> TypeConstraint::rhs

---

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

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