/** * process an axiom wrt its Used status * * @param ax the axiom to process */ public void processAx(AxiomWrapper ax) { if (ax.isUsed()) { registerAx(ax); } else { unregisterAx(ax); } }
/** * process an axiom wrt its Used status * * @param ax the axiom to process */ public void processAx(AxiomWrapper ax) { if (ax.isUsed()) { registerAx(ax); } else { unregisterAx(ax); } }
/** * process an axiom wrt its Used status * * @param ax the axiom to process */ public void processAx(AxiomWrapper ax) { if (ax.isUsed()) { registerAx(ax); } else { unregisterAx(ax); } }
/** * process an axiom wrt its Used status * * @param ax the axiom to process */ public void processAx(AxiomWrapper ax) { if (ax.isUsed()) { registerAx(ax); } else { unregisterAx(ax); } }