Java dLFormulaの例

コード例 #1

ファイル: ImpliesFormula.java プロジェクト: narechiga/proteus

 public dLFormula getSuccedent() {
   dLFormula succedent = (dLFormula) (arguments.get(1));
   return succedent.clone();
 }

コード例 #2

ファイル: ImpliesFormula.java プロジェクト: narechiga/proteus

 public dLFormula getAntecedent() {
   dLFormula antecedent = (dLFormula) (arguments.get(0));
   return antecedent.clone();
 }