/** * init c'tor */ public SyntacticLocalityChecker() { topEval = new TopEquivalenceEvaluator(this); botEval = new BotEquivalenceEvaluator(this); }
/** * init c'tor */ public SyntacticLocalityChecker() { topEval = new TopEquivalenceEvaluator(this); botEval = new BotEquivalenceEvaluator(this); }
/** * init c'tor */ public SyntacticLocalityChecker() { topEval = new TopEquivalenceEvaluator(this); botEval = new BotEquivalenceEvaluator(this); }
/** * init c'tor */ public SyntacticLocalityChecker() { topEval = new TopEquivalenceEvaluator(this); botEval = new BotEquivalenceEvaluator(this); }