Skip to content
Snippets Groups Projects
Verified Commit 28f89261 authored by Sébastien Villemot's avatar Sébastien Villemot
Browse files

Minor simplification of SymbolTable::addDiffAuxiliaryVar()

For symmetry with SymbolTable::addUnaryOpAuxiliaryVar().
parent a93e264c
No related branches found
No related tags found
No related merge requests found
...@@ -594,12 +594,6 @@ SymbolTable::addDiffAuxiliaryVar(int index, expr_t expr_arg, int orig_symb_id, i ...@@ -594,12 +594,6 @@ SymbolTable::addDiffAuxiliaryVar(int index, expr_t expr_arg, int orig_symb_id, i
return symb_id; return symb_id;
} }
int
SymbolTable::addDiffAuxiliaryVar(int index, expr_t expr_arg) noexcept(false)
{
return addDiffAuxiliaryVar(index, expr_arg, -1, 0);
}
int int
SymbolTable::addUnaryOpAuxiliaryVar(int index, expr_t expr_arg, string unary_op, int orig_symb_id, int orig_lag) noexcept(false) SymbolTable::addUnaryOpAuxiliaryVar(int index, expr_t expr_arg, string unary_op, int orig_symb_id, int orig_lag) noexcept(false)
{ {
......
...@@ -343,8 +343,7 @@ public: ...@@ -343,8 +343,7 @@ public:
diffLead increases it). */ diffLead increases it). */
pair<int, int> unrollDiffLeadLagChain(int symb_id, int lag) const noexcept(false); pair<int, int> unrollDiffLeadLagChain(int symb_id, int lag) const noexcept(false);
//! Adds an auxiliary variable when the diff operator is encountered //! Adds an auxiliary variable when the diff operator is encountered
int addDiffAuxiliaryVar(int index, expr_t expr_arg) noexcept(false); int addDiffAuxiliaryVar(int index, expr_t expr_arg, int orig_symb_id = -1, int orig_lag = 0) noexcept(false);
int addDiffAuxiliaryVar(int index, expr_t expr_arg, int orig_symb_id, int orig_lag) noexcept(false);
//! Takes care of timing between diff statements //! Takes care of timing between diff statements
int addDiffLagAuxiliaryVar(int index, expr_t expr_arg, int orig_symb_id, int orig_lag) noexcept(false); int addDiffLagAuxiliaryVar(int index, expr_t expr_arg, int orig_symb_id, int orig_lag) noexcept(false);
//! Takes care of timing between diff statements //! Takes care of timing between diff statements
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment