smtrat::qe::util::EquationSubstitution Class Reference

#include <EqualitySubstitution.h>

Collaboration diagram for smtrat::qe::util::EquationSubstitution:

Public Member Functions
	EquationSubstitution (const FormulasT &cs, const std::vector< carl::Variable > &vs)
	EquationSubstitution (FormulasT &&cs, std::vector< carl::Variable > &&vs)
bool	apply ()
std::vector< carl::Variable >	remaining_variables ()
FormulasT	remaining_constraints ()

Private Attributes
FormulasT	m_constraints
std::vector< carl::Variable >	m_variables

Detailed Description

Definition at line 7 of file EqualitySubstitution.h.

Constructor & Destructor Documentation

EquationSubstitution() [1/2]

smtrat::qe::util::EquationSubstitution::EquationSubstitution ( const FormulasT &  cs, const std::vector< carl::Variable > &  vs  )

inline

Definition at line 13 of file EqualitySubstitution.h.

EquationSubstitution() [2/2]

smtrat::qe::util::EquationSubstitution::EquationSubstitution ( FormulasT &&  cs, std::vector< carl::Variable > &&  vs  )

inline

Definition at line 16 of file EqualitySubstitution.h.

Member Function Documentation

apply()

bool smtrat::qe::util::EquationSubstitution::apply ( )

inline

Definition at line 19 of file EqualitySubstitution.h.

Here is the call graph for this function:

Here is the caller graph for this function:

remaining_constraints()

FormulasT smtrat::qe::util::EquationSubstitution::remaining_constraints ( )

inline

Definition at line 85 of file EqualitySubstitution.h.

Here is the caller graph for this function:

remaining_variables()

std::vector<carl::Variable> smtrat::qe::util::EquationSubstitution::remaining_variables ( )

inline

Definition at line 81 of file EqualitySubstitution.h.

Here is the caller graph for this function:

Field Documentation

m_constraints

FormulasT smtrat::qe::util::EquationSubstitution::m_constraints

private

Definition at line 9 of file EqualitySubstitution.h.

m_variables

std::vector<carl::Variable> smtrat::qe::util::EquationSubstitution::m_variables

private

Definition at line 10 of file EqualitySubstitution.h.

---

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

• smtrat-qe/util/EqualitySubstitution.h