continue;
}
}
- if (!un.checkupdates()) /* Make sure we have a good update */
+ if (!un.checkupdates(state)) /* Make sure we have a good update */
continue;
mun.addUpdate(un);
goodflag=false;break;
}
}
- if (!un.checkupdates()) {
+ if (!un.checkupdates(state)) {
goodflag=false;
break;
}
goodflag=false;
}
- if (!un.checkupdates()) {
+ if (!un.checkupdates(state)) {
goodflag=false;
break;
}
continue endloop;
e=ce.getExpr();
}
-
if (!(e instanceof VarExpr)) {
if (e.isValue(si.getSet().getType())) {
Updates up=new Updates(e,0,si.getSet().getType());
debugmsg("Finished processing quantifiers")&&
processconjunction(un,ruleconj,setmapping)&&
debugmsg("Finished processing conjunction")&&
- un.checkupdates()&&
+ un.checkupdates(state)&&
debugmsg("Updates checked")) {
mun.addUpdate(un);
GraphNode.Edge e=new GraphNode.Edge("abstract5"+addtocount,gn2);