* In a realisation goal, check the result of the corresponding
normalisation goal.
This commit is contained in:
parent
24286e15c9
commit
4d2946c516
|
@ -1254,6 +1254,7 @@ void RealisationGoal::init()
|
||||||
trace("init");
|
trace("init");
|
||||||
|
|
||||||
if (querySuccessor(nePath, nfPath)) {
|
if (querySuccessor(nePath, nfPath)) {
|
||||||
|
nrFailed = 0;
|
||||||
isNormalised();
|
isNormalised();
|
||||||
return;
|
return;
|
||||||
}
|
}
|
||||||
|
@ -1277,6 +1278,11 @@ void RealisationGoal::isNormalised()
|
||||||
{
|
{
|
||||||
trace("has been normalised");
|
trace("has been normalised");
|
||||||
|
|
||||||
|
if (nrFailed != 0) {
|
||||||
|
amDone(false);
|
||||||
|
return;
|
||||||
|
}
|
||||||
|
|
||||||
nfPath = queryNormalForm(nePath);
|
nfPath = queryNormalForm(nePath);
|
||||||
|
|
||||||
/* Now make sure that the store expression exists. If it doesn't,
|
/* Now make sure that the store expression exists. If it doesn't,
|
||||||
|
|
Loading…
Reference in a new issue