Java AbstractEqualityRuleNormalizer Examples

Example #1

File: Prover.java Project: RSRGDeveloper/RESOLVE

  private TransformationChooser buildConsequentSubstitutions(TransformerFitnessFunction f) {

    return new UpfrontFitnessTransformationChooser(
        f,
        AbstractEqualityRuleNormalizer.normalizeAll(
            new ConsequentSubstitutionRuleNormalizer(myTyper, false), myPExpTheorems),
        FITNESS_THRESHOLD,
        myTyper,
        myInstanceEnvironment);
  }

Example #2

File: Prover.java Project: RSRGDeveloper/RESOLVE

  private TransformationChooser buildEquivalentAntecedentDevelopments(
      TransformerFitnessFunction f) {

    return new UpfrontFitnessTransformationChooser(
        f,
        AbstractEqualityRuleNormalizer.normalizeAll(
            new AntecedentExtenderRuleNormalizer(myTyper, false), myPExpTheorems),
        0,
        myTyper,
        myInstanceEnvironment);
  }