Java Solversの例

コード例 #1

ファイル: SolverQuantifierTest.java プロジェクト: SunshineAllWay/StringFaultDetect

 @Parameters(name = "{0}")
 public static Object[] getAllSolvers() {
   return Solvers.values();
 }