Java Term.name Exemples

Exemple #1

Fichier : DefaultTransformationUtils.java Projet : supertweety/learning-from-defaults

 public static Term min(Iterable<? extends Term> iterable) {
   Term min = null;
   for (Term t : iterable) {
     if (min == null || t.name().compareTo(min.name()) < 0) {
       min = t;
     }
   }
   return min;
 }