Package hampi.stp

Examples of hampi.stp.STPSolver

41
42
43
44
45
46
47
  private AbstractSolver solver;
  public boolean         validateSolution = true;
  public boolean         verbose          = false;

  public Hampi(){
    solver = new STPSolver();
  }
View Full Code Here
97
98
99
100
101
102
103
  private AbstractSolver[] all(){
    return new AbstractSolver[] { stp() };
  }

  private STPSolver stp(){
    return new STPSolver();
  }
View Full Code Here
1303
1304
1305
1306
1307
1308
1309
1310
1311
1312
1313
    Hampi h = new Hampi();
    Expression v = h.varExpr("v0");
    Constraint c1 = h.regexpConstraint(v, true, h.starRegexp(h.constRegexp("bb")));
    Constraint c2 = h.regexpConstraint(v, true, h.constRegexp("bb"));
    Constraint c = h.andConstraint(c1, c2);
    h.setSolver(new STPSolver());
    Solution solve = h.solve(c, 2);
    System.out.println(solve);

    Solution s = Solution.createSAT();
    s.setValue((VariableExpression) v, "bb");
View Full Code Here
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
    long seed = System.currentTimeMillis();
    System.out.println("seed:" + seed);
    Randomness.reset(seed);
    for (int i = 0; i < 100; i++){
      Hampi h = new Hampi();
      h.setSolver(new STPSolver());

      Constraint c = null;
      Solution solSTP = null;
      Solution solMona = null;
      try{
        //        System.out.println("-------------------------------------------");
        System.out.println(" " + i);
        int size = 1 + Randomness.nextRandomInt(2);
        Constraint[] cs = new Constraint[size];
        int varNum = 1;//just 1 var
        cs[0] = randomConstraint(varNum, h);
        for (int j = 1; j < cs.length; j++){
          cs[j] = randomConstraint(varNum, h);
        }
        c = h.andConstraint(cs);
        System.out.println("-----------------------------------------------");
        System.out.println(c.toJavaCode("h"));
        System.out.println();

        h.setSolver(new STPSolver());
        StopWatch sw = new StopWatch("Solving");
        sw.start();
        solSTP = h.solve(c, 10);
        sw.stop();
        System.out.println(sw);
View Full Code Here
12
13
14
15
16
17
18
import junit.framework.TestCase;

public class SolverBenchmarks extends TestCase{
  private STPSolver stp(){
    return new STPSolver();
  }
View Full Code Here
TOP

Related Classes of hampi.stp.STPSolver

  • hampi.Hampi
  • hampi.tests.RandomSolverTests
  • hampi.tests.SolverBenchmarks
  • hampi.tests.SolverTests
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.