Class ClauseSplittingProcessor
- java.lang.Object
-
- net.sf.tweety.arg.adf.transform.processor.ClauseSplittingProcessor
-
- All Implemented Interfaces:
Processor<Disjunction,java.util.Collection<Disjunction>>
public final class ClauseSplittingProcessor extends java.lang.Object implements Processor<Disjunction,java.util.Collection<Disjunction>>
- Author:
- Mathias Hofer
-
-
Constructor Summary
Constructors Constructor Description ClauseSplittingProcessor(int maxClauseSize)
-
Method Summary
Modifier and Type Method Description java.util.Collection<Disjunction>
process(Disjunction clause)
-
-
-
Method Detail
-
process
public java.util.Collection<Disjunction> process(Disjunction clause)
- Specified by:
process
in interfaceProcessor<Disjunction,java.util.Collection<Disjunction>>
-
-