private TransformationChooser buildConsequentSubstitutions(TransformerFitnessFunction f) { return new UpfrontFitnessTransformationChooser( f, AbstractEqualityRuleNormalizer.normalizeAll( new ConsequentSubstitutionRuleNormalizer(myTyper, false), myPExpTheorems), FITNESS_THRESHOLD, myTyper, myInstanceEnvironment); }
private TransformationChooser buildEquivalentAntecedentDevelopments( TransformerFitnessFunction f) { return new UpfrontFitnessTransformationChooser( f, AbstractEqualityRuleNormalizer.normalizeAll( new AntecedentExtenderRuleNormalizer(myTyper, false), myPExpTheorems), 0, myTyper, myInstanceEnvironment); }