Exemplos de dLFormula em Java

Exemplo n.º 1

Arquivo: ImpliesFormula.java Projeto: narechiga/proteus

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

Exemplo n.º 2

Arquivo: ImpliesFormula.java Projeto: narechiga/proteus

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