我正在使用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)
导致此例外的原因是什么?
答案 0 :(得分:0)
case "-smt" :: solver :: rest
点PuzzleSolver.scala
- -v
应该是最后一个参数:Solver.main(Array("-smt", "c:\\akari.txt", "-v"))