Class BooleanExpressions


  • public final class BooleanExpressions
    extends Object
    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method Description
      static <T extends jhoafparser.ast.Atom>
      jhoafparser.ast.BooleanExpression<T>
      createConjunction​(Iterable<jhoafparser.ast.BooleanExpression<T>> conjuncts)  
      static <T extends jhoafparser.ast.Atom>
      jhoafparser.ast.BooleanExpression<T>
      createConjunction​(Iterator<jhoafparser.ast.BooleanExpression<T>> conjuncts)  
      static <T extends jhoafparser.ast.Atom>
      jhoafparser.ast.BooleanExpression<T>
      createConjunction​(Stream<jhoafparser.ast.BooleanExpression<T>> conjuncts)  
      static <T extends jhoafparser.ast.Atom>
      jhoafparser.ast.BooleanExpression<T>
      createDisjunction​(Iterable<jhoafparser.ast.BooleanExpression<T>> disjuncts)  
      static <T extends jhoafparser.ast.Atom>
      jhoafparser.ast.BooleanExpression<T>
      createDisjunction​(Iterator<jhoafparser.ast.BooleanExpression<T>> disjuncts)  
      static <T extends jhoafparser.ast.Atom>
      jhoafparser.ast.BooleanExpression<T>
      createDisjunction​(Stream<jhoafparser.ast.BooleanExpression<T>> disjuncts)  
      static <T extends jhoafparser.ast.Atom>
      boolean
      evaluate​(jhoafparser.ast.BooleanExpression<T> expression, Predicate<T> valuation)  
      static <T extends jhoafparser.ast.Atom>
      List<jhoafparser.ast.BooleanExpression<T>>
      getConjuncts​(jhoafparser.ast.BooleanExpression<T> exp)  
      static <T extends jhoafparser.ast.Atom>
      List<jhoafparser.ast.BooleanExpression<T>>
      getDisjuncts​(jhoafparser.ast.BooleanExpression<T> exp)  
      static jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance> mkFin​(int number)  
      static jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance> mkInf​(int number)  
      static jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance> shift​(jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance> expression, int offset)  
      static List<jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance>> toDnf​(jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance> acc)  
    • Method Detail

      • evaluate

        public static <T extends jhoafparser.ast.Atom> boolean evaluate​(jhoafparser.ast.BooleanExpression<T> expression,
                                                                        Predicate<T> valuation)
      • createConjunction

        public static <T extends jhoafparser.ast.Atom> jhoafparser.ast.BooleanExpression<T> createConjunction​(Iterable<jhoafparser.ast.BooleanExpression<T>> conjuncts)
      • createConjunction

        public static <T extends jhoafparser.ast.Atom> jhoafparser.ast.BooleanExpression<T> createConjunction​(Stream<jhoafparser.ast.BooleanExpression<T>> conjuncts)
      • createConjunction

        public static <T extends jhoafparser.ast.Atom> jhoafparser.ast.BooleanExpression<T> createConjunction​(Iterator<jhoafparser.ast.BooleanExpression<T>> conjuncts)
      • createDisjunction

        public static <T extends jhoafparser.ast.Atom> jhoafparser.ast.BooleanExpression<T> createDisjunction​(Iterable<jhoafparser.ast.BooleanExpression<T>> disjuncts)
      • createDisjunction

        public static <T extends jhoafparser.ast.Atom> jhoafparser.ast.BooleanExpression<T> createDisjunction​(Stream<jhoafparser.ast.BooleanExpression<T>> disjuncts)
      • createDisjunction

        public static <T extends jhoafparser.ast.Atom> jhoafparser.ast.BooleanExpression<T> createDisjunction​(Iterator<jhoafparser.ast.BooleanExpression<T>> disjuncts)
      • getConjuncts

        public static <T extends jhoafparser.ast.Atom> List<jhoafparser.ast.BooleanExpression<T>> getConjuncts​(jhoafparser.ast.BooleanExpression<T> exp)
      • getDisjuncts

        public static <T extends jhoafparser.ast.Atom> List<jhoafparser.ast.BooleanExpression<T>> getDisjuncts​(jhoafparser.ast.BooleanExpression<T> exp)
      • mkFin

        public static jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance> mkFin​(int number)
      • mkInf

        public static jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance> mkInf​(int number)
      • shift

        public static jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance> shift​(jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance> expression,
                                                                                              int offset)
      • toDnf

        public static List<jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance>> toDnf​(jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance> acc)