carl::UFContent Class Reference

The actual content of an uninterpreted function instance. More...

#include <UFManager.h>

Collaboration diagram for carl::UFContent:

Public Member Functions
	UFContent (std::string &&name, std::vector< Sort > &&domain, Sort codomain)
	Constructs the content of an uninterpreted function. More...
	UFContent ()=delete
	UFContent (const UFContent &)=delete
	UFContent (UFContent &&)=delete
const std::string &	name () const
const std::vector< Sort > &	domain () const
Sort	codomain () const

Private Attributes
std::string	mName
	The uninterpreted function's name. More...
std::vector< Sort >	mDomain
	The uninterpreted function's domain. More...
Sort	mCodomain
	The uninterpreted function's codomain. More...

Friends
class	UFManager

Detailed Description

The actual content of an uninterpreted function instance.

Definition at line 29 of file UFManager.h.

Constructor & Destructor Documentation

UFContent() [1/4]

carl::UFContent::UFContent ( std::string &&  name, std::vector< Sort > &&  domain, Sort  codomain  )

inlineexplicit

Constructs the content of an uninterpreted function.

Parameters

name	The name of the uninterpreted function to construct.
domain	The domain of the uninterpreted function to construct.
codomain	The codomain of the uninterpreted function to construct.

Definition at line 47 of file UFManager.h.

UFContent() [2/4]

carl::UFContent::UFContent ( )

delete

UFContent() [3/4]

carl::UFContent::UFContent ( const UFContent &  )

delete

UFContent() [4/4]

carl::UFContent::UFContent ( UFContent &&  )

delete

Member Function Documentation

codomain()

Sort carl::UFContent::codomain ( ) const

inline

Returns

The codomain of the uninterpreted function.

Definition at line 72 of file UFManager.h.

Here is the caller graph for this function:

domain()

const std::vector<Sort>& carl::UFContent::domain ( ) const

inline

Returns

The domain of the uninterpreted function.

Definition at line 65 of file UFManager.h.

Here is the caller graph for this function:

name()

const std::string& carl::UFContent::name ( ) const

inline

Returns

The name of the uninterpreted function.

Definition at line 58 of file UFManager.h.

Here is the caller graph for this function:

Friends And Related Function Documentation

UFManager

friend class UFManager

friend

Definition at line 30 of file UFManager.h.

Field Documentation

mCodomain

Sort carl::UFContent::mCodomain

private

The uninterpreted function's codomain.

Definition at line 38 of file UFManager.h.

mDomain

std::vector<Sort> carl::UFContent::mDomain

private

The uninterpreted function's domain.

Definition at line 36 of file UFManager.h.

mName

std::string carl::UFContent::mName

private

The uninterpreted function's name.

Definition at line 34 of file UFManager.h.

---

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

• carl-formula/uninterpreted/UFManager.h