Package org.tweetyproject.arg.adf.transform

Class TseitinTransformer

java.lang.Object

org.tweetyproject.arg.adf.transform.AbstractCollector<Atom,Clause,Pair<Atom,java.util.Collection<Clause>>>

org.tweetyproject.arg.adf.transform.TseitinTransformer

All Implemented Interfaces:

Collector<Atom,Clause>, Transformer<Pair<Atom,java.util.Collection<Clause>>>

public final class TseitinTransformer
extends AbstractCollector<Atom,Clause,Pair<Atom,java.util.Collection<Clause>>>

Author:

Mathias Hofer

Method Summary

Modifier and Type	Method	Description
static TseitinTransformer	ofNegativePolarity(boolean optimize)
static TseitinTransformer	ofNegativePolarity(java.util.function.Function<Argument,Atom> mapping, boolean optimize)
static TseitinTransformer	ofPositivePolarity(boolean optimize)
static TseitinTransformer	ofPositivePolarity(java.util.function.Function<Argument,Atom> mapping, boolean optimize)

Methods inherited from class org.tweetyproject.arg.adf.transform.AbstractCollector

collect, transform

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 Detail

ofPositivePolarity

public static TseitinTransformer ofPositivePolarity(boolean optimize)

ofNegativePolarity

public static TseitinTransformer ofNegativePolarity(boolean optimize)

ofPositivePolarity

public static TseitinTransformer ofPositivePolarity(java.util.function.Function<Argument,Atom> mapping,
                                                    boolean optimize)

ofNegativePolarity

public static TseitinTransformer ofNegativePolarity(java.util.function.Function<Argument,Atom> mapping,
                                                    boolean optimize)