carl  24.04
Computer ARithmetic Library
Public Member Functions | Private Member Functions | Private Attributes | Friends
carl::Sort Class Reference

Implements a sort (for defining types of variables and functions). More...

#include <Sort.h>

Public Member Functions

 Sort () noexcept=default
 
std::size_t arity () const
 
std::size_t id () const
 

Private Member Functions

 Sort (std::size_t id)
 Constructs a sort. More...
 

Private Attributes

std::size_t mId = 0
 A unique id to identify this sort in the sort manager. More...
 

Friends

class SortManager
 
std::ostream & operator<< (std::ostream &_os, const Sort &_sort)
 Prints the given sort on the given output stream. More...
 

Detailed Description

Implements a sort (for defining types of variables and functions).

Definition at line 20 of file Sort.h.

Constructor & Destructor Documentation

◆ Sort() [1/2]

carl::Sort::Sort ( std::size_t  id)
inlineexplicitprivate

Constructs a sort.

Parameters
_idThe id of the sort to construct.

Definition at line 34 of file Sort.h.

◆ Sort() [2/2]

carl::Sort::Sort ( )
defaultnoexcept

Member Function Documentation

◆ arity()

std::size_t carl::Sort::arity ( ) const
Returns
The aritiy of this sort.

Definition at line 14 of file Sort.cpp.

Here is the call graph for this function:
Here is the caller graph for this function:

◆ id()

std::size_t carl::Sort::id ( ) const
inline
Returns
The id of this sort.

Definition at line 48 of file Sort.h.

Here is the caller graph for this function:

Friends And Related Function Documentation

◆ operator<<

std::ostream& operator<< ( std::ostream &  _os,
const Sort &  _sort 
)
friend

Prints the given sort on the given output stream.

Parameters
_osThe output stream to print on.
_sortThe sort to print.
Returns
The output stream after printing the given sort on it.

Definition at line 18 of file Sort.cpp.

◆ SortManager

friend class SortManager
friend

Definition at line 22 of file Sort.h.

Field Documentation

◆ mId

std::size_t carl::Sort::mId = 0
private

A unique id to identify this sort in the sort manager.

Definition at line 28 of file Sort.h.

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