/** * @param c the clocality checker */ public Modularizer(LocalityChecker c) { checker = c; sig = c.getSignature(); sigIndex = new SigIndex(checker); }
/** * 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); } }
/** * @return true iff roles are treated as TOPs */ public boolean topRLocal() { return localityChecker.getSignature().topRLocal(); }
/** * init c'tor */ public SyntacticLocalityChecker() { topEval = new TopEquivalenceEvaluator(this); botEval = new BotEquivalenceEvaluator(this); }
/** * 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); } }
/** * @return true iff roles are treated as TOPs */ public boolean topRLocal() { return localityChecker.getSignature().topRLocal(); }
/** * @param c the clocality checker */ public Modularizer(LocalityChecker c) { checker = c; sig = c.getSignature(); sigIndex = new SigIndex(checker); }
/** * init c'tor */ public SyntacticLocalityChecker() { topEval = new TopEquivalenceEvaluator(this); botEval = new BotEquivalenceEvaluator(this); }
/** * 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); } }
/** * @return true iff roles are treated as TOPs */ public boolean topRLocal() { return localityChecker.getSignature().topRLocal(); }
/** * @param c the clocality checker */ public Modularizer(LocalityChecker c) { checker = c; sig = c.getSignature(); sigIndex = new SigIndex(checker); }
/** * 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); } }
/** * @param c the clocality checker */ public Modularizer(LocalityChecker c) { checker = c; sig = c.getSignature(); sigIndex = new SigIndex(checker); }