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

Implements an uninterpreted function instance. More...

#include <UFInstance.h>

Public Member Functions

 UFInstance ()=default
 
std::size_t id () const
 
const UninterpretedFunction & uninterpretedFunction () const
 
const std::vector< UTerm > & args () const
 
std::size_t complexity () const
 
void gatherVariables (carlVariables &vars) const
 
void gatherUFs (std::set< UninterpretedFunction > &ufs) const
 

Private Member Functions

 UFInstance (std::size_t id) noexcept
 Constructs an uninterpreted function instance. More...
 

Private Attributes

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

Friends

class UFInstanceManager
 

Detailed Description

Implements an uninterpreted function instance.

Definition at line 25 of file UFInstance.h.

Constructor & Destructor Documentation

◆ UFInstance() [1/2]

carl::UFInstance::UFInstance ( std::size_t  id)
inlineexplicitprivatenoexcept

Constructs an uninterpreted function instance.

Parameters
id

Definition at line 37 of file UFInstance.h.

◆ UFInstance() [2/2]

carl::UFInstance::UFInstance ( )
default

Member Function Documentation

◆ args()

const std::vector< UTerm > & carl::UFInstance::args ( ) const
Returns
The arguments of this uninterpreted function instance.

Definition at line 25 of file UFInstance.cpp.

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

◆ complexity()

std::size_t carl::UFInstance::complexity ( ) const

Definition at line 29 of file UFInstance.cpp.

Here is the call graph for this function:

◆ gatherUFs()

void carl::UFInstance::gatherUFs ( std::set< UninterpretedFunction > &  ufs) const

Definition at line 44 of file UFInstance.cpp.

Here is the call graph for this function:

◆ gatherVariables()

void carl::UFInstance::gatherVariables ( carlVariables &  vars) const

Definition at line 39 of file UFInstance.cpp.

Here is the call graph for this function:

◆ id()

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

Definition at line 44 of file UFInstance.h.

Here is the caller graph for this function:

◆ uninterpretedFunction()

const UninterpretedFunction & carl::UFInstance::uninterpretedFunction ( ) const
Returns
The underlying uninterpreted function of this instance.

Definition at line 21 of file UFInstance.cpp.

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

Friends And Related Function Documentation

◆ UFInstanceManager

friend class UFInstanceManager
friend

Definition at line 27 of file UFInstance.h.

Field Documentation

◆ mId

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

A unique id.

Definition at line 31 of file UFInstance.h.

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