Ensure that “pac_expectation” operators are never inserted into a static model
The implementation of PacExpectationNode::toStatic() did not make sense. It should normally never be called, hence we error out at this point. Also do a cosmetic change in the PacExpectationNode::clone() methode.var-models
parent
b16ab9b247
commit
0d6eb053d4
|
@ -8324,13 +8324,14 @@ PacExpectationNode::computeBlockTemporaryTerms(int blk, int eq, vector<vector<te
|
||||||
expr_t
|
expr_t
|
||||||
PacExpectationNode::toStatic(DataTree &static_datatree) const
|
PacExpectationNode::toStatic(DataTree &static_datatree) const
|
||||||
{
|
{
|
||||||
return static_datatree.AddPacExpectation(string(model_name));
|
cerr << "PacExpectationNode::toStatic not implemented." << endl;
|
||||||
|
exit(EXIT_FAILURE);
|
||||||
}
|
}
|
||||||
|
|
||||||
expr_t
|
expr_t
|
||||||
PacExpectationNode::clone(DataTree &datatree) const
|
PacExpectationNode::clone(DataTree &datatree) const
|
||||||
{
|
{
|
||||||
return datatree.AddPacExpectation(string(model_name));
|
return datatree.AddPacExpectation(model_name);
|
||||||
}
|
}
|
||||||
|
|
||||||
void
|
void
|
||||||
|
|
Loading…
Reference in New Issue