Java dLFormula Examples

Example #1

File: ImpliesFormula.java Project: narechiga/proteus

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

Example #2

File: ImpliesFormula.java Project: narechiga/proteus

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