smtrat::VariableRewriteRule Class Reference

#include <VariableRewriteRule.h>

Public Member Functions
	VariableRewriteRule (unsigned varNr, const TermT &term, const carl::BitVector &reasons)
	~VariableRewriteRule ()

Protected Attributes
unsigned	mVarNr
	Rewrite a variable (identified by this number) More...
TermT	mTerm
	Rewrite with this term. More...
carl::BitVector	mReasons
	Based on this origins. More...

Detailed Description

Definition at line 15 of file VariableRewriteRule.h.

Constructor & Destructor Documentation

VariableRewriteRule()

smtrat::VariableRewriteRule::VariableRewriteRule ( unsigned  varNr, const TermT &  term, const carl::BitVector &  reasons  )

inline

Definition at line 17 of file VariableRewriteRule.h.

~VariableRewriteRule()

smtrat::VariableRewriteRule::~VariableRewriteRule ( )

inline

Definition at line 23 of file VariableRewriteRule.h.

Field Documentation

mReasons

carl::BitVector smtrat::VariableRewriteRule::mReasons

protected

Based on this origins.

Definition at line 33 of file VariableRewriteRule.h.

mTerm

TermT smtrat::VariableRewriteRule::mTerm

protected

Rewrite with this term.

Definition at line 31 of file VariableRewriteRule.h.

mVarNr

unsigned smtrat::VariableRewriteRule::mVarNr

protected

Rewrite a variable (identified by this number)

Definition at line 29 of file VariableRewriteRule.h.

---

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

• smtrat-modules/GBModule/VariableRewriteRule.h