Package owl.ltl

Class Formulas


  • public final class Formulas
    extends Object
    • Method Detail

      • compare

        public static int compare​(Set<? extends Formula> set1,
                                  Set<? extends Formula> set2)
      • height

        public static int height​(Formula... formulas)