carl  24.04
Computer ARithmetic Library
Public Types | Public Member Functions | Private Types | Private Attributes | Friends
carl::VariableAssignment< Poly > Class Template Reference

#include <VariableAssignment.h>

Public Types

using Number = typename Base::Number
 
using MR = typename Base::MR
 
using RAN = typename Base::RAN
 

Public Member Functions

 VariableAssignment (Variable v, const RAN &value, bool negated=false)
 
 VariableAssignment (Variable v, const Number &value, bool negated=false)
 
Variable var () const
 
const RAN & value () const
 
const auto & base_value () const
 
bool negated () const
 
VariableAssignment negation () const
 
 operator const VariableComparison< Poly > & () const
 

Private Types

using Base = VariableComparison< Poly >
 

Private Attributes

Base m_comparison
 

Friends

template<typename Pol >
void variables (const VariableAssignment< Pol > &f, carlVariables &vars)
 

Detailed Description

template<typename Poly>
class carl::VariableAssignment< Poly >

Definition at line 9 of file VariableAssignment.h.

Member Typedef Documentation

◆ Base

template<typename Poly >
using carl::VariableAssignment< Poly >::Base = VariableComparison<Poly>
private

Definition at line 11 of file VariableAssignment.h.

◆ MR

template<typename Poly >
using carl::VariableAssignment< Poly >::MR = typename Base::MR

Definition at line 14 of file VariableAssignment.h.

◆ Number

template<typename Poly >
using carl::VariableAssignment< Poly >::Number = typename Base::Number

Definition at line 13 of file VariableAssignment.h.

◆ RAN

template<typename Poly >
using carl::VariableAssignment< Poly >::RAN = typename Base::RAN

Definition at line 15 of file VariableAssignment.h.

Constructor & Destructor Documentation

◆ VariableAssignment() [1/2]

template<typename Poly >
carl::VariableAssignment< Poly >::VariableAssignment ( Variable  v,
const RAN &  value,
bool  negated = false 
)
inline

Definition at line 19 of file VariableAssignment.h.

Here is the caller graph for this function:

◆ VariableAssignment() [2/2]

template<typename Poly >
carl::VariableAssignment< Poly >::VariableAssignment ( Variable  v,
const Number &  value,
bool  negated = false 
)
inline

Definition at line 20 of file VariableAssignment.h.

Member Function Documentation

◆ base_value()

template<typename Poly >
const auto& carl::VariableAssignment< Poly >::base_value ( ) const
inline

Definition at line 29 of file VariableAssignment.h.

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

◆ negated()

template<typename Poly >
bool carl::VariableAssignment< Poly >::negated ( ) const
inline

Definition at line 32 of file VariableAssignment.h.

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

◆ negation()

template<typename Poly >
VariableAssignment carl::VariableAssignment< Poly >::negation ( ) const
inline

Definition at line 35 of file VariableAssignment.h.

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

◆ operator const VariableComparison< Poly > &()

template<typename Poly >
carl::VariableAssignment< Poly >::operator const VariableComparison< Poly > & ( ) const
inline

Definition at line 38 of file VariableAssignment.h.

◆ value()

template<typename Poly >
const RAN& carl::VariableAssignment< Poly >::value ( ) const
inline

Definition at line 25 of file VariableAssignment.h.

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

◆ var()

template<typename Poly >
Variable carl::VariableAssignment< Poly >::var ( ) const
inline

Definition at line 22 of file VariableAssignment.h.

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

Friends And Related Function Documentation

◆ variables

template<typename Poly >
template<typename Pol >
void variables ( const VariableAssignment< Pol > &  f,
carlVariables &  vars 
)
friend

Definition at line 47 of file VariableAssignment.h.

Field Documentation

◆ m_comparison

template<typename Poly >
Base carl::VariableAssignment< Poly >::m_comparison
private

Definition at line 17 of file VariableAssignment.h.

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