Java Nat Examples

Example #1

File: FabriqueNatParDefaut.java Project: anaelChardan/MinesCoursProg1

 @Override
 public default Nat creerSuccesseur(Nat predecesseur) {
   return this.creerNatAvecValeur(predecesseur.val() + 1);
 }