Package org.xilaew.jampl.JAMPL

Examples of org.xilaew.jampl.JAMPL.SolveResult

314
315
316
317
318
319
320
321
322
323
324
  }
   
  private void checkSatisfactionOfTestGoals(
      LinkedList<Pair<TCGTransition, TCGNode>> currentPath){
   
    SolveResult resultOfConstraintSolving = solveConstraints(currentPath);
    if(resultOfConstraintSolving!= null && resultOfConstraintSolving == SolveResult.Solved){
      for(TestGoalBase oTestGoal : m_oTCGHelper.getTestGoalMgr().getTestGoals()) {
        // test goal still not satisfied?
        if(oTestGoal.isSatisfied() == false) {
          boolean result = true;
View Full Code Here
386
387
388
389
390
391
392
393
394
395
396
    ampl.loadData(currentAMPLData);
   
    //for experiment
    //ampl.getCli().sendCommand("minimize myObject: pressure[0] + volume[0] + n[0]+ temp[0] + pumpVolume[0];");
   
    SolveResult result = null;
    try {
      result = ampl.solve();       
    } catch (IOException e) {
      ampl = AmplFactory.createJAMPL();
      ampl.setSolver(Solver);
View Full Code Here
11
12
13
14
15
16
17
18
19
20
21
  public static void main(String[] args) throws IOException {
    JAMPL jampl = AmplFactory.createJAMPL();
    jampl.setSolver("cplex");
    jampl.loadModel("output/assignment.mod");
    jampl.loadData("output/assignment0.dat");
    SolveResult result = jampl.solve();
    printResult(result);
    jampl.setSolver("couenne");
    printResult(jampl.solve());
    System.out.println("found a result!");
    System.out.println("a is: "+jampl.getParameter("a"));
View Full Code Here
51
52
53
54
55
56
57
58
59
60
61
        d.open();
        solver = d.getValue();
        ampl.setSolver(solver);
      }
      // Solve the Model and Data to get Input data
      SolveResult solved;
      try {
        solved = ampl.solve();
      } catch (IOException e) {
        ampl = AmplFactory.createJAMPL();
        ampl.setSolver(solver);
View Full Code Here
58
59
60
61
62
63
64
65
66
67
68
        if (currentNode.getOutgoing().size() >= 2) {
          passedDecisions++;
          if (passedDecisions > uncheckedSteps) {
            passedDecisions = 0;
            ampl.loadData(Path2AMPLData.transform(currentPath));
            SolveResult solved = SolveResult.Solved;
            try {
              solved = ampl.solve();
            } catch (IOException e) {
              ampl = new JamplBuilder().solver(solver)
                  .model(ActTCG2AMPLModel.transform(atcg))
View Full Code Here
60
61
62
63
64
65
66
67
68
69
70
        // Eliminate Infeasible Paths
        if (pDInc == 1
            && currentElement.passedDecissions % uncheckedSteps == 0) {
          ampl.loadData(Path2AMPLData.transform(SearchTree2Path
              .searchTree2Path(currentElement)));
          SolveResult solved = SolveResult.Solved;
          try {
            solved = ampl.solve();
          } catch (IOException e) {
            ampl = new JamplBuilder().solver(solver)
                .model(ActTCG2AMPLModel.transform(atcg))
View Full Code Here
125
126
127
128
129
130
131
132
133
134
135
   */
  protected Witness generateWitness(Path currentPath, TCGActivity atcg) {
    ampl.loadData(Path2AMPLData.transform(currentPath));
    // ampl.getCli().sendCommand("minimize x: pIndicRequest_areaCode[0] + pIndicRequest_areaType[0] + isIndicOn + iSeat[0] + iLoc[0] + isValidSeatInfo[0] + paxSeatInfo_deckArea[0] + paxSeatInfo_deckPart[0] + pSeatGroup_numberOfSeats[0] + pIndicRequest_srCounter[0];");
    Witness result = new Witness();
    SolveResult solved;
    try {
      solved = ampl.solve();
    } catch (IOException e) {
      ampl = new JamplBuilder().solver(solver)
          .model(ActTCG2AMPLModel.transform(atcg))
View Full Code Here
TOP

Related Classes of org.xilaew.jampl.JAMPL.SolveResult

  • net.sf.parteg.base.testcasegraph.testgeneration.TestCaseGenerator
  • org.xilaew.atg.model.pathsearch.AbstractSolverIntegratedPathSearch
  • org.xilaew.atg.model.pathsearch.SolverBFS
  • org.xilaew.atg.model.pathsearch.SolverDFS
  • org.xilaew.atg.unitTestOutput.TestsGeneratorHelper
  • tools.AmplJamplTest
    • 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.