public void makeFactTop(ReturnPath fact) { fact.setKind(ReturnPath.TOP); }
public void initEntryFact(ReturnPath fact) { fact.setKind(ReturnPath.RETURNS); }
public void makeFactTop(ReturnPath fact) { fact.setKind(ReturnPath.TOP); }
public void initEntryFact(ReturnPath fact) { fact.setKind(ReturnPath.RETURNS); }