smtrat::Module::TheoryPropagation Struct Reference

#include <Module.h>

Public Member Functions
	TheoryPropagation (FormulasT &&_premise, const FormulaT &_conclusion)
	Constructor. More...
	TheoryPropagation ()=delete
	TheoryPropagation (const TheoryPropagation &)=delete
	TheoryPropagation (TheoryPropagation &&_toMove)
TheoryPropagation &	operator= (const TheoryPropagation &_toMove)=delete
TheoryPropagation &	operator= (TheoryPropagation &&_toMove)
	~TheoryPropagation ()

Data Fields
FormulasT	mPremise
	The constraints under which the propagated constraint holds. More...
FormulaT	mConclusion
	The propagated constraint. More...

Detailed Description

Definition at line 147 of file Module.h.

Constructor & Destructor Documentation

TheoryPropagation() [1/4]

smtrat::Module::TheoryPropagation::TheoryPropagation ( FormulasT &&  _premise, const FormulaT &  _conclusion  )

inline

Constructor.

Definition at line 157 of file Module.h.

TheoryPropagation() [2/4]

smtrat::Module::TheoryPropagation::TheoryPropagation ( )

delete

TheoryPropagation() [3/4]

smtrat::Module::TheoryPropagation::TheoryPropagation ( const TheoryPropagation &  )

delete

TheoryPropagation() [4/4]

smtrat::Module::TheoryPropagation::TheoryPropagation ( TheoryPropagation &&  _toMove )

inline

Definition at line 164 of file Module.h.

~TheoryPropagation()

smtrat::Module::TheoryPropagation::~TheoryPropagation ( )

inline

Definition at line 178 of file Module.h.

Member Function Documentation

operator=() [1/2]

TheoryPropagation& smtrat::Module::TheoryPropagation::operator= ( const TheoryPropagation &  _toMove )

delete

operator=() [2/2]

TheoryPropagation& smtrat::Module::TheoryPropagation::operator= ( TheoryPropagation &&  _toMove )

inline

Definition at line 171 of file Module.h.

Field Documentation

mConclusion

FormulaT smtrat::Module::TheoryPropagation::mConclusion

The propagated constraint.

Definition at line 152 of file Module.h.

mPremise

FormulasT smtrat::Module::TheoryPropagation::mPremise

The constraints under which the propagated constraint holds.

Definition at line 150 of file Module.h.

---

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

• smtrat-solver/Module.h