carl::Context Class Reference

#include <Context.h>

Collaboration diagram for carl::Context:

Public Member Functions
	Context ()=delete
	Context (const Context &ctx)
	Context (Context &&ctx)
Context &	operator= (const Context &rhs)
	Context (const std::vector< Variable > &var_order)
const std::vector< Variable > &	variable_ordering () const
bool	has (const Variable &var) const
bool	operator== (const Context &rhs) const

Private Attributes
std::shared_ptr< std::vector< Variable > >	m_variable_order

Detailed Description

Definition at line 9 of file Context.h.

Constructor & Destructor Documentation

Context() [1/4]

carl::Context::Context ( )

delete

Context() [2/4]

carl::Context::Context ( const Context &  ctx )

inline

Definition at line 15 of file Context.h.

Context() [3/4]

carl::Context::Context ( Context &&  ctx )

inline

Definition at line 17 of file Context.h.

Context() [4/4]

carl::Context::Context ( const std::vector< Variable > &  var_order )

inline

Definition at line 24 of file Context.h.

Member Function Documentation

has()

bool carl::Context::has ( const Variable &  var ) const

inline

Definition at line 30 of file Context.h.

Here is the call graph for this function:

operator=()

Context& carl::Context::operator= ( const Context &  rhs )

inline

Definition at line 19 of file Context.h.

operator==()

bool carl::Context::operator== ( const Context &  rhs ) const

inline

Definition at line 34 of file Context.h.

variable_ordering()

const std::vector<Variable>& carl::Context::variable_ordering ( ) const

inline

Definition at line 26 of file Context.h.

Here is the caller graph for this function:

Field Documentation

m_variable_order

std::shared_ptr<std::vector<Variable> > carl::Context::m_variable_order

private

Definition at line 10 of file Context.h.

---

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

• carl-arith/poly/ctxpoly/Context.h