carl::vs::detail::Substitution< Poly > Struct Template Reference

#include <substitute.h>

Collaboration diagram for carl::vs::detail::Substitution< Poly >:

Public Member Functions
	Substitution (const Variable &variable, const Term< Poly > &term)
const carl::Variable &	variable () const
const Term< Poly > &	term () const

Data Fields
const Variable &	m_variable
const Term< Poly > &	m_term

Detailed Description

template<class Poly>
struct carl::vs::detail::Substitution< Poly >

Definition at line 34 of file substitute.h.

Constructor & Destructor Documentation

Substitution()

template<class Poly >

carl::vs::detail::Substitution< Poly >::Substitution ( const Variable &  variable, const Term< Poly > &  term  )

inline

Definition at line 37 of file substitute.h.

Member Function Documentation

term()

template<class Poly >

const Term<Poly>& carl::vs::detail::Substitution< Poly >::term ( ) const

inline

Definition at line 41 of file substitute.h.

Here is the caller graph for this function:

variable()

template<class Poly >

const carl::Variable& carl::vs::detail::Substitution< Poly >::variable ( ) const

inline

Definition at line 38 of file substitute.h.

Here is the caller graph for this function:

Field Documentation

m_term

template<class Poly >

const Term<Poly>& carl::vs::detail::Substitution< Poly >::m_term

Definition at line 36 of file substitute.h.

m_variable

template<class Poly >

const Variable& carl::vs::detail::Substitution< Poly >::m_variable

Definition at line 35 of file substitute.h.

---

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

• carl-vs/substitute.h