/** * remove the edge that indicates this variable is Succd by a certain equation */ public void deleteSucc(int eqNumber) { if (succNumbers != null) { succNumbers.remove(eqNumber); if (succNumbers.size() == 0) { succNumbers = null; } } }
/** * remove the edge that indicates this variable is Succd by a certain equation */ public void deleteSucc(int eqNumber) { if (succNumbers != null) { succNumbers.remove(eqNumber); if (succNumbers.size() == 0) { succNumbers = null; } } }
/** * remove the edge that indicates this variable is Predined by a certain * equation */ public void deletePred(int eqNumber) { if (predNumbers != null) { predNumbers.remove(eqNumber); if (predNumbers.size() == 0) { predNumbers = null; } } }
/** * remove the edge that indicates this variable is Predined by a certain * equation */ public void deletePred(int eqNumber) { if (predNumbers != null) { predNumbers.remove(eqNumber); if (predNumbers.size() == 0) { predNumbers = null; } } }
/** * remove the edge that indicates this variable is Predined by a certain * equation */ public void deletePred(int eqNumber) { if (predNumbers != null) { predNumbers.remove(eqNumber); if (predNumbers.size() == 0) { predNumbers = null; } } }
/** * remove the edge that indicates this variable is Succd by a certain equation */ public void deleteSucc(int eqNumber) { if (succNumbers != null) { succNumbers.remove(eqNumber); if (succNumbers.size() == 0) { succNumbers = null; } } }