Class ClauseSplittingProcessor

    • Method Summary

      Modifier and Type Method Description
      java.util.Collection<Disjunction> process​(Disjunction clause)  
      • Methods inherited from class java.lang.Object

        equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • ClauseSplittingProcessor

        public ClauseSplittingProcessor​(int maxClauseSize)
        Parameters:
        maxClauseSize - the maximal clause size of the generated clauses