/** * @return the identity(==) set of dependences. */ public Set<ATermAppl> getDependencies() { if (_dependencies == null) updateDependencies(); return _dependencies; }
/** * @return the identity(==) set of dependences. */ public Set<ATermAppl> getDependencies() { if (_dependencies == null) updateDependencies(); return _dependencies; }
public TermDefinition() { _subClassAxioms = new ArrayList<>(); _eqClassAxioms = new ArrayList<>(); updateDependencies(); }
public TermDefinition() { _subClassAxioms = new ArrayList<>(); _eqClassAxioms = new ArrayList<>(); updateDependencies(); }
public boolean addDef(final ATermAppl appl) { boolean added = false; final AFun fun = appl.getAFun(); if (fun.equals(ATermUtils.SUBFUN)) added = _subClassAxioms.contains(appl) ? false : _subClassAxioms.add(appl); else if (fun.equals(ATermUtils.EQCLASSFUN)) added = _eqClassAxioms.contains(appl) ? false : _eqClassAxioms.add(appl); else throw new OpenError("Cannot add non-definition!"); if (added) updateDependencies(); return added; }
public boolean removeDef(final ATermAppl axiom) { boolean removed; final AFun fun = axiom.getAFun(); if (fun.equals(ATermUtils.SUBFUN)) removed = _subClassAxioms.remove(axiom); else if (fun.equals(ATermUtils.EQCLASSFUN)) removed = _eqClassAxioms.remove(axiom); else throw new OpenError("Cannot remove non-definition!"); updateDependencies(); return removed; }
public boolean addDef(final ATermAppl appl) { boolean added = false; final AFun fun = appl.getAFun(); if (fun.equals(ATermUtils.SUBFUN)) added = _subClassAxioms.contains(appl) ? false : _subClassAxioms.add(appl); else if (fun.equals(ATermUtils.EQCLASSFUN)) added = _eqClassAxioms.contains(appl) ? false : _eqClassAxioms.add(appl); else throw new OpenError("Cannot add non-definition!"); if (added) updateDependencies(); return added; }
public boolean removeDef(final ATermAppl axiom) { boolean removed; final AFun fun = axiom.getAFun(); if (fun.equals(ATermUtils.SUBFUN)) removed = _subClassAxioms.remove(axiom); else if (fun.equals(ATermUtils.EQCLASSFUN)) removed = _eqClassAxioms.remove(axiom); else throw new OpenError("Cannot remove non-definition!"); updateDependencies(); return removed; }