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

Implements an uninterpreted function. More...

#include <UninterpretedFunction.h>

Public Member Functions

 UninterpretedFunction () noexcept=default
 Default constructor. More...
 
std::size_t id () const
 
const std::string & name () const
 
const std::vector< Sort > & domain () const
 
Sort codomain () const
 

Private Member Functions

 UninterpretedFunction (std::size_t id)
 Constructs an uninterpreted function. More...
 

Private Attributes

std::size_t mId = 0
 A unique id. More...
 

Friends

class UFManager
 

Detailed Description

Implements an uninterpreted function.

Definition at line 23 of file UninterpretedFunction.h.

Constructor & Destructor Documentation

◆ UninterpretedFunction() [1/2]

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

Constructs an uninterpreted function.

Parameters
id

Definition at line 35 of file UninterpretedFunction.h.

◆ UninterpretedFunction() [2/2]

carl::UninterpretedFunction::UninterpretedFunction ( )
defaultnoexcept

Default constructor.

Member Function Documentation

◆ codomain()

Sort carl::UninterpretedFunction::codomain ( ) const
Returns
The codomain of this uninterpreted function.

Definition at line 26 of file UninterpretedFunction.cpp.

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

◆ domain()

const std::vector< Sort > & carl::UninterpretedFunction::domain ( ) const
Returns
The domain of this uninterpreted function.

Definition at line 22 of file UninterpretedFunction.cpp.

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

◆ id()

std::size_t carl::UninterpretedFunction::id ( ) const
inline
Returns
The unique id of this uninterpreted function instance.

Definition at line 47 of file UninterpretedFunction.h.

Here is the caller graph for this function:

◆ name()

const std::string & carl::UninterpretedFunction::name ( ) const
Returns
The name of this uninterpreted function.

Definition at line 18 of file UninterpretedFunction.cpp.

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

Friends And Related Function Documentation

◆ UFManager

friend class UFManager
friend

Definition at line 25 of file UninterpretedFunction.h.

Field Documentation

◆ mId

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

A unique id.

Definition at line 29 of file UninterpretedFunction.h.

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