/** * add an axiom to a module * * @param axiom axiom */ private void addAxiomToModule(AxiomWrapper axiom) { axiom.setInModule(true); module.add(axiom); // update the signature addAxiomSig(axiom); }
/** * add an axiom to a module * * @param axiom axiom */ private void addAxiomToModule(AxiomWrapper axiom) { axiom.setInModule(true); module.add(axiom); // update the signature addAxiomSig(axiom); }
/** * add an axiom to a module * * @param axiom axiom */ private void addAxiomToModule(AxiomWrapper axiom) { axiom.setInModule(true); module.add(axiom); // update the signature addAxiomSig(axiom); }
/** * add an axiom to a module * * @param axiom axiom */ private void addAxiomToModule(AxiomWrapper axiom) { axiom.setInModule(true); module.add(axiom); // update the signature addAxiomSig(axiom); }