Package org.tweetyproject.arg.adf.transform

Class 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>>>

TseitinTransformer class

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)	Creates a new TseitinTransformer instance with negative root polarity and default argument-to-literal mapping.
static TseitinTransformer	ofNegativePolarity(Function<Argument,Literal> mapping, boolean optimize)	Creates a new TseitinTransformer instance with negative root polarity and a custom argument-to-literal mapping.
static TseitinTransformer	ofPositivePolarity(boolean optimize)	Creates a new TseitinTransformer instance with positive root polarity and default argument-to-literal mapping.
static TseitinTransformer	ofPositivePolarity(Function<Argument,Literal> mapping, boolean optimize)	Creates a new TseitinTransformer instance with positive root polarity and a custom argument-to-literal mapping.
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)

Creates a new TseitinTransformer instance with positive root polarity and default argument-to-literal mapping.

Parameters:

optimize - A boolean indicating whether optimizations should be applied.

Returns:

A new TseitinTransformer instance with positive polarity.

ofNegativePolarity

public static TseitinTransformer ofNegativePolarity(boolean optimize)

Creates a new TseitinTransformer instance with negative root polarity and default argument-to-literal mapping.

Parameters:

optimize - A boolean indicating whether optimizations should be applied.

Returns:

A new TseitinTransformer instance with negative polarity.

ofPositivePolarity

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

Creates a new TseitinTransformer instance with positive root polarity and a custom argument-to-literal mapping.

Parameters:

mapping - A Function<Argument, Literal> that maps arguments to literals.

optimize - A boolean indicating whether optimizations should be applied.

Returns:

A new TseitinTransformer instance with positive polarity.

ofNegativePolarity

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

Creates a new TseitinTransformer instance with negative root polarity and a custom argument-to-literal mapping.

Parameters:

mapping - A Function<Argument, Literal> that maps arguments to literals.

optimize - A boolean indicating whether optimizations should be applied.

Returns:

A new TseitinTransformer instance with negative polarity.

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