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 jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance> mkFin​(int number)  
      static jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance> mkInf​(int number)  
    • Method Detail

      • 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)
      • mkFin

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

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