TseitinTransformer

java.lang.Object

org.tweetyproject.arg.adf.transform.TseitinTransformer

All Implemented Interfaces:: Collector<Literal,Clause>, Transformer<Pair<Literal,Collection<Clause>>>

public final class TseitinTransformer extends Object implements Collector<Literal,Clause>, Transformer<Pair<Literal,Collection<Clause>>>

Method Summary

Modifier and Type

Method

Description

Literal

collect(AcceptanceCondition acc, Consumer<Clause> clauses)

Traverses through the given AcceptanceCondition and calls the provided consumer on all the collected data.

static TseitinTransformer

ofNegativePolarity(boolean optimize)

static TseitinTransformer

ofNegativePolarity(Function<Argument,Literal> mapping, boolean optimize)

static TseitinTransformer

ofPositivePolarity(boolean optimize)

static TseitinTransformer

ofPositivePolarity(Function<Argument,Literal> mapping, boolean optimize)

Pair<Literal,Collection<Clause>>

transform(AcceptanceCondition acc)

Transforms the given acceptance condition into another structure.

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

Methods inherited from interface org.tweetyproject.arg.adf.transform.Collector
collect

Method Details
- ofPositivePolarity
  
  public static TseitinTransformer ofPositivePolarity(boolean optimize)
- ofNegativePolarity
  
  public static TseitinTransformer ofNegativePolarity(boolean optimize)
- ofPositivePolarity
  
  public static TseitinTransformer ofPositivePolarity(Function<Argument,Literal> mapping, boolean optimize)
- ofNegativePolarity
  
  public static TseitinTransformer ofNegativePolarity(Function<Argument,Literal> mapping, boolean optimize)
- collect
  
  public Literal collect(AcceptanceCondition acc, Consumer<Clause> clauses)
  
  Description copied from interface: Collector
  
  Traverses through the given AcceptanceCondition and calls the provided consumer on all the collected data.
  
  Specified by:
  
  collect in interface Collector<Literal,Clause>
  
  Parameters:
  
  acc - the acceptance condition
  
  clauses - the consumer which is used as a callback for the collected data.
  
  Returns:
  
  the result we may compute while collecting data
- transform
  
  public Pair<Literal,Collection<Clause>> transform(AcceptanceCondition acc)
  
  Description copied from interface: Transformer
  
  Transforms the given acceptance condition into another structure.
  
  Specified by:
  
  transform in interface Transformer<Pair<Literal,Collection<Clause>>>
  
  Parameters:
  
  acc - the acceptance condition
  
  Returns:
  
  the transformed result