目标变量未在copris中定义

时间:2015-04-17 11:15:47

标签: scala

我正在使用Akari solver in copris v.1.1

以下是scalademoapp.scala中的代码:

import java.lang.String 
import java.util.Arrays 

object scalademoapp extends App { 
    System.out.println(" test 1............."); 
    val a = new Array [String] (3); a(0)="-smt";
    a(1)="-v"; a(2)="c:\\akari.txt"; 
    System.out.println("test.............");
    System.out.println(a.deep.mkString("\n")); 
    Solver.main(a); 
    System.out.println("test4............."); 
}

尝试执行求解器时会引发此异常:

  

线程中的异常" main" java.lang.RuntimeException:Objective   变量未定义于   jp.kobe_u.copris.sugar.Solver.findOptBody(Sugar.scala:631)at at   jp.kobe_u.copris.AbstractSolver $$ anonfun $ findOpt $ 1.适用$ MCZ $ SP(Solver.scala:266)     在   jp.kobe_u.copris.AbstractSolver $$ anonfun $ findOpt $ 1.适用(Solver.scala:264)     在   jp.kobe_u.copris.AbstractSolver $$ anonfun $ findOpt $ 1.适用(Solver.scala:264)     在jp.kobe_u.copris.AbstractSolver.measureTime(Solver.scala:205)at at   jp.kobe_u.copris.AbstractSolver.findOpt(Solver.scala:264)at at   jp.kobe_u.copris.CoprisTrait $ class.findOpt(Copris.scala:52)at at   jp.kobe_u.copris.dsl $ .findOpt(Copris.scala:92)at   AbstractPuzzleSolver $ class.findOptSolution(PuzzleSolver.scala:54)at   求解器$ .findOptSolution(Akari-v1-1.scala:37)at   AbstractPuzzleSolver $ class.solve(PuzzleSolver.scala:70)at   解决者$ .BoardPuzzleSolver $$超级$解决(Akari-v1-1.scala:37)at at   BoardPuzzleSolver $ class.solve(PuzzleSolver.scala:237)at   解决者$ .solve(Akari-v1-1.scala:37)at   AbstractPuzzleSolver $ class.main(PuzzleSolver.scala:163)at   求解器$ .main(Akari-v1-1.scala:37)at   scalademoapp $ .delayedEndpoint $ scalademoapp $ 1(scalademoapp.scala:21)     在scalademoapp $ delayedInit $ body.apply(scalademoapp.scala:7)at   scala.Function0 $ class.apply $ mcV $ sp(Function0.scala:40)at   scala.runtime.AbstractFunction0.apply $ MCV $ SP(AbstractFunction0.scala:12)     在scala.App $$ anonfun $ main $ 1.apply(App.scala:76)at   scala.App $$ anonfun $ main $ 1.apply(App.scala:76)at   scala.collection.immutable.List.foreach(List.scala:381)at   scala.collection.generic.TraversableForwarder $ class.foreach(TraversableForwarder.scala:35)     在scala.App $ class.main(App.scala:76)at   scalademoapp $ .main(scalademoapp.scala:7)at   scalademoapp.main(scalademoapp.scala)

导致此例外的原因是什么?

1 个答案:

答案 0 :(得分:0)

case "-smt" :: solver :: restPuzzleSolver.scala - -v应该是最后一个参数:Solver.main(Array("-smt", "c:\\akari.txt", "-v"))