ClauseSplittingProcessor

java.lang.Object

org.tweetyproject.arg.adf.transform.processor.ClauseSplittingProcessor

All Implemented Interfaces:: Processor<Set<Literal>,Collection<Set<Literal>>>

public final class ClauseSplittingProcessor extends Object implements Processor<Set<Literal>,Collection<Set<Literal>>>

Author:: Mathias Hofer

Constructor Summary

Constructors

Constructor

Description

ClauseSplittingProcessor(int maxClauseSize)
Method Summary

Modifier and Type

Method

Description

Collection<Set<Literal>>

process(Set<Literal> clause)

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details
- ClauseSplittingProcessor
  
  public ClauseSplittingProcessor(int maxClauseSize)
  
  Parameters:
  
  maxClauseSize - the maximal clause size of the generated clauses
Method Details
- process
  
  public Collection<Set<Literal>> process(Set<Literal> clause)
  
  Specified by:
  
  process in interface Processor<Set<Literal>,Collection<Set<Literal>>>