目標變量沒有copris

Question

定義我使用的是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中的異常：目標 變量未定義在 jp.kobe_u.copris.sugar.Solver.findOptBody（Sugar.scala：631）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）在 jp.kobe_u .copris.AbstractSolver.findOpt（Solver.scala：264）at jp.kobe_u.copris.CoprisTrait $ class.findOpt（Copris.scala：52）at jp.kobe_u.copris.dsl $ .findOpt（Copris.scala： 92）at 摘要解決方案$ class.findOptSolution（PuzzleSolver.scala：54）at Solver $ .findOptSolution（Akari-v1-1.scala：37）at AbstractPuzzleS olver $ class.solve（PuzzleSolver.scala：70）at Solver $ .BoardPuzzleSolver $$ super $ solve（Akari-v1-1.scala：37）at BoardPuzzleSolver $ class.solve（PuzzleSolver.scala：237）at Solver $ .solve（Akari-v1-1.scala：37）at AbstractPuzzleSolver $ class.main（PuzzleSolver.scala：163）at Solver $ .main（Akari-v1-1.scala：37）at scalademoapp $ .delayedEndpoint $ scalademoapp $ 1（scalademoapp.scala：21） at 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） at scala.App $$ anonfun $ main $ 1.apply（App.scala：76）at scala.App $$ anonfun $ main $ 1。應用（App.scala：76）at scala.collection.immutable.List.foreach（List.scala：381）at scala.collection.generic.TraversableForwarder $ class.foreach（TraversableForwarder.scala：35） at scala.App在 scalademoapp $。主要（scalademoapp.scala：7）：$ class.main（76 App.scala）在 scalademoapp.main（scalademoapp.scala）

是什麼原因造成這個異常？

Answer 1

看到case "-smt" :: solver :: rest在PuzzleSolver.scala - -v應該是最後一個參數：Solver.main(Array("-smt", "c:\\akari.txt", "-v"))