Examples with FunCompilerConfig suite.fp.FunCompilerConfig used on opensource projects

Example 1 with FunCompilerConfig

use of suite.fp.FunCompilerConfig in project suite by stupidsing.

the class CommandOptions method fcc.

public FunCompilerConfig fcc(Node node) {
    ProverConfig pc = pc(Suite.newRuleSet());
    FunCompilerConfig fcc = new FunCompilerConfig(pc, libraries);
    fcc.setLazy(isLazy);
    fcc.setNode(node);
    return fcc;
}

Example 2 with FunCompilerConfig

use of suite.fp.FunCompilerConfig in project suite by stupidsing.

the class Suite method fcc.

public static FunCompilerConfig fcc(Node fp, boolean isLazy) {
    FunCompilerConfig fcc = new FunCompilerConfig();
    fcc.setNode(fp);
    fcc.setLazy(isLazy);
    return fcc;
}