Package org.tweetyproject.arg.adf.transform.processor

Class ClauseSplittingProcessor

  • All Implemented Interfaces:
    Processor<java.util.Set<Literal>,​java.util.Collection<java.util.Set<Literal>>>
    public final class ClauseSplittingProcessor
extends java.lang.Object
implements Processor<java.util.Set<Literal>,​java.util.Collection<java.util.Set<Literal>>>
    Author:
    Mathias Hofer

    • Method Summary

      Modifier and Type Method Description
      java.util.Collection<java.util.Set<Literal>> process​(java.util.Set<Literal> 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

    • Method Detail

      • process

        public java.util.Collection<java.util.Set<Literal>> process​(java.util.Set<Literal> clause)
        Specified by:
        process in interface Processor<java.util.Set<Literal>,​java.util.Collection<java.util.Set<Literal>>>