carl::UVariable Class Reference

Implements an uninterpreted variable. More...

#include <UVariable.h>

Collaboration diagram for carl::UVariable:

Public Member Functions
	UVariable ()=default
	Default constructor. More...
	UVariable (const UVariable &)=default
	UVariable (UVariable &&)=default
UVariable &	operator= (const UVariable &)=default
UVariable &	operator= (UVariable &&)=default
	~UVariable ()=default
	UVariable (Variable var)
	UVariable (Variable var, Sort domain)
	Constructs an uninterpreted variable. More...
Variable	variable () const
Sort	domain () const

Private Attributes
Variable	mVar = Variable::NO_VARIABLE
	The according variable, hence, the actual content of this class. More...
Sort	mDomain
	The domain. More...

Detailed Description

Implements an uninterpreted variable.

Definition at line 19 of file UVariable.h.

Constructor & Destructor Documentation

UVariable() [1/5]

carl::UVariable::UVariable ( )

default

Default constructor.

The resulting object will not be a valid variable, but a dummy object.

UVariable() [2/5]

carl::UVariable::UVariable ( const UVariable &  )

default

UVariable() [3/5]

carl::UVariable::UVariable ( UVariable &&  )

default

~UVariable()

carl::UVariable::~UVariable ( )

default

UVariable() [4/5]

carl::UVariable::UVariable ( Variable  var )

inlineexplicit

Definition at line 38 of file UVariable.h.

UVariable() [5/5]

carl::UVariable::UVariable ( Variable  var, Sort  domain  )

inline

Constructs an uninterpreted variable.

Parameters

var	The variable of the uninterpreted variable to construct.
domain	The domain of the uninterpreted variable to construct.

Definition at line 47 of file UVariable.h.

Member Function Documentation

domain()

Sort carl::UVariable::domain ( ) const

inline

Returns

The domain of this uninterpreted variable.

Definition at line 61 of file UVariable.h.

Here is the caller graph for this function:

operator=() [1/2]

UVariable& carl::UVariable::operator= ( const UVariable &  )

default

operator=() [2/2]

UVariable& carl::UVariable::operator= ( UVariable &&  )

default

variable()

Variable carl::UVariable::variable ( ) const

inline

Returns

The according variable, hence, the actual content of this class.

Definition at line 54 of file UVariable.h.

Here is the caller graph for this function:

Field Documentation

mDomain

Sort carl::UVariable::mDomain

private

The domain.

Definition at line 24 of file UVariable.h.

mVar

Variable carl::UVariable::mVar = Variable::NO_VARIABLE

private

The according variable, hence, the actual content of this class.

Definition at line 22 of file UVariable.h.

---

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

• carl-formula/uninterpreted/UVariable.h