The actual content of a sort. More...

#include <SortManager.h>

Collaboration diagram for carl::SortContent:

[legend]

Public Member Functions
	SortContent ()=delete

	SortContent (std::string _name) noexcept
	Constructs a sort content. More...

	SortContent (std::string _name, const std::vector< Sort > &_parameters)
	Constructs a sort content. More...

	SortContent (std::string _name, std::vector< Sort > &&_parameters)

	SortContent (const SortContent &sc)

	~SortContent () noexcept=default
	Destructs a sort content. More...

SortContent &	operator= (const SortContent &sc)=delete

	SortContent (SortContent &&sc) noexcept=default

SortContent &	operator= (SortContent &&sc)=default

SortContent	getUnindexed () const
	Return a copy of this SortContent without any indices. More...

Data Fields
std::string	name
	The sort's name. More...

std::unique_ptr< std::vector< Sort > >	parameters
	The sort's argument types. It is nullptr, if the sort's arity is zero. More...

std::unique_ptr< std::vector< std::size_t > >	indices
	The sort's indices. A sort can be indexed with the "_" operator. It is nullptr, if no indices are present. More...

Detailed Description

The actual content of a sort.

Definition at line 26 of file SortManager.h.

Constructor & Destructor Documentation

◆ SortContent() [1/6]

carl::SortContent::SortContent ( )

delete

Here is the caller graph for this function:

◆ SortContent() [2/6]

carl::SortContent::SortContent ( std::string _name )

inlineexplicitnoexcept

Constructs a sort content.

Parameters

_name The name of the sort content to construct.

Definition at line 40 of file SortManager.h.

◆ SortContent() [3/6]

carl::SortContent::SortContent	(	std::string	_name,
		const std::vector< Sort > &	_parameters
	)

inlineexplicit

Constructs a sort content.

Parameters

_name	The name of the sort content to construct.
_parameters	The sorts of the arguments of the sort content to construct.

Definition at line 49 of file SortManager.h.

◆ SortContent() [4/6]

carl::SortContent::SortContent	(	std::string	_name,
		std::vector< Sort > &&	_parameters
	)

inlineexplicit

Definition at line 53 of file SortManager.h.

◆ SortContent() [5/6]

carl::SortContent::SortContent ( const SortContent & sc )

inline

Definition at line 58 of file SortManager.h.

◆ ~SortContent()

carl::SortContent::~SortContent ( )

defaultnoexcept

Destructs a sort content.

◆ SortContent() [6/6]

carl::SortContent::SortContent ( SortContent && sc )

defaultnoexcept

Member Function Documentation

◆ getUnindexed()

SortContent carl::SortContent::getUnindexed ( ) const

inline

Return a copy of this SortContent without any indices.

Definition at line 75 of file SortManager.h.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ operator=() [1/2]

SortContent& carl::SortContent::operator= ( const SortContent & sc )

delete

◆ operator=() [2/2]

SortContent& carl::SortContent::operator= ( SortContent && sc )

default

Field Documentation

◆ indices

std::unique_ptr<std::vector<std::size_t> > carl::SortContent::indices

The sort's indices. A sort can be indexed with the "_" operator. It is nullptr, if no indices are present.

Definition at line 32 of file SortManager.h.

◆ name

std::string carl::SortContent::name

The sort's name.

Definition at line 28 of file SortManager.h.

◆ parameters

std::unique_ptr<std::vector<Sort> > carl::SortContent::parameters

The sort's argument types. It is nullptr, if the sort's arity is zero.

Definition at line 30 of file SortManager.h.

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

carl-formula/sort/SortManager.h

Public Member Functions

Data Fields