@Override public void makeFactTop(FrameType fact) { fact.setTop(); }
@Override public void setTop() { super.setTop(); if (trackValueNumbers) { knownValueMap.clear(); } decision = null; }
@Override public void setTop() { super.setTop(); clearExactSet(); }
@Override public void makeFactTop(FrameType fact) { fact.setTop(); }
@Override public void setTop() { super.setTop(); if (trackValueNumbers) { knownValueMap.clear(); } decision = null; }
@Override public void setTop() { super.setTop(); clearExactSet(); }