コード例 #1
0
ファイル: Configuration.java プロジェクト: stupidsing/suite 
 public ProverConfig() {
   this(Suite.createRuleSet());
 }