if(!nodemem.resultMemoryContains(resulttuple)) if(nodemem.resultMemoryContains(resulttuple))
if(!nodemem.resultMemoryContains(resulttuple)) if(nodemem.resultMemoryContains(resulttuple))
if(nodemem.resultMemoryContains(resulttuple)) if(!nodemem.resultMemoryContains(resulttuple)) if(nodemem.resultMemoryContains(resulttuple))
if(nodemem.resultMemoryContains(resulttuple)) if(!nodemem.resultMemoryContains(resulttuple)) if(nodemem.resultMemoryContains(resulttuple))
boolean contains = nodemem.resultMemoryContains(resulttuple); boolean check = checkConstraints(resulttuple, state); boolean contains = nodemem.resultMemoryContains(resulttuple); if(contains)
boolean contains = nodemem.resultMemoryContains(resulttuple); boolean check = checkConstraints(resulttuple, state); boolean contains = nodemem.resultMemoryContains(resulttuple); if(contains)