KBipolarStateProcessor

java.lang.Object

org.tweetyproject.arg.adf.reasoner.sat.processor.KBipolarStateProcessor

All Implemented Interfaces:: StateProcessor

public final class KBipolarStateProcessor extends Object implements StateProcessor

Author:: Mathias Hofer

Constructor Summary

Constructors

Constructor

Description

KBipolarStateProcessor(AbstractDialecticalFramework adf, PropositionalMapping mapping)
Method Summary

Modifier and Type

Method

Description

void

process(Consumer<Clause> consumer)

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

Constructor Details
- KBipolarStateProcessor
  
  public KBipolarStateProcessor(AbstractDialecticalFramework adf, PropositionalMapping mapping)
  
  Parameters:
  
  adf - adf
  
  mapping - mapping
Method Details
- process
  
  public void process(Consumer<Clause> consumer)
  
  Specified by:
  
  process in interface StateProcessor
  
  Parameters:
  
  consumer - consumer