Examples with ProverConfig suite.lp.Configuration.ProverConfig used on opensource projects

Example 21 with ProverConfig

use of suite.lp.Configuration.ProverConfig in project suite by stupidsing.

the class InterpretedProverBuilder method build.

@Override
public Fun<Node, Finder> build(RuleSet ruleSet) {
    return goal -> {
        Node goal1 = SewingGeneralizerImpl.generalize(goal);
        return (source, sink) -> {
            ProverConfig proverConfig1 = new ProverConfig(ruleSet, proverConfig);
            proverConfig1.setSource(source);
            proverConfig1.setSink(sink);
            new Prover(proverConfig1).elaborate(goal1);
        };
    };
}