stepan
/
preprocessor
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

normalizeEquation not implemented for PacExpectationNodes

issue#70
Houtan Bastani 2019-07-15 16:34:54 -04:00
parent 866e4d6d39
commit 2c8d0471a4
No known key found for this signature in database
GPG Key ID: 000094FB955BE169
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/ExprNode.cc
View File

@ -9294,8 +9294,8 @@ PacExpectationNode::countDiffs() const
pair<int, expr_t>
PacExpectationNode::normalizeEquation(int var_endo, vector<tuple<int, expr_t, expr_t>> &List_of_Op_RHS) const
{
//COME BACK
return { 0, const_cast<PacExpectationNode *>(this) };
cerr << "PacExpectationNode::normalizeEquation not implemented." << endl;
exit(EXIT_FAILURE);
}
expr_t