Package net.sf.tweety.arg.adf.transform

Class TseitinTransformer

java.lang.Object

net.sf.tweety.arg.adf.transform.AbstractCollector<net.sf.tweety.logics.pl.syntax.Proposition,net.sf.tweety.logics.pl.syntax.Disjunction,net.sf.tweety.commons.util.Pair<net.sf.tweety.logics.pl.syntax.Proposition,Collection<net.sf.tweety.logics.pl.syntax.Disjunction>>>

net.sf.tweety.arg.adf.transform.TseitinTransformer

All Implemented Interfaces:

Collector<net.sf.tweety.logics.pl.syntax.Proposition,net.sf.tweety.logics.pl.syntax.Disjunction>, Transformer<net.sf.tweety.commons.util.Pair<net.sf.tweety.logics.pl.syntax.Proposition,Collection<net.sf.tweety.logics.pl.syntax.Disjunction>>>

public final class TseitinTransformer
extends AbstractCollector<net.sf.tweety.logics.pl.syntax.Proposition,net.sf.tweety.logics.pl.syntax.Disjunction,net.sf.tweety.commons.util.Pair<net.sf.tweety.logics.pl.syntax.Proposition,Collection<net.sf.tweety.logics.pl.syntax.Disjunction>>>

Author:

Mathias Hofer

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	TseitinTransformer.Builder

Method Summary

Modifier and Type	Method	Description
static TseitinTransformer.Builder	builder(Function<Argument,net.sf.tweety.logics.pl.syntax.Proposition> argumentMapping)
static TseitinTransformer.Builder	builder(Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> argumentMapping)
protected net.sf.tweety.commons.util.Pair<net.sf.tweety.logics.pl.syntax.Proposition,Collection<net.sf.tweety.logics.pl.syntax.Disjunction>>	finish(net.sf.tweety.logics.pl.syntax.Proposition bottomUpData, Collection<net.sf.tweety.logics.pl.syntax.Disjunction> collection)
protected Collection<net.sf.tweety.logics.pl.syntax.Disjunction>	initialize()	Provides the initial top-down data.
protected int	topLevelPolarity()
protected net.sf.tweety.logics.pl.syntax.Proposition	transformArgument(Argument argument, Consumer<net.sf.tweety.logics.pl.syntax.Disjunction> collection, int polarity)
protected net.sf.tweety.logics.pl.syntax.Proposition	transformConjunction(Collection<net.sf.tweety.logics.pl.syntax.Proposition> children, Consumer<net.sf.tweety.logics.pl.syntax.Disjunction> clauses, int polarity)
protected net.sf.tweety.logics.pl.syntax.Proposition	transformContradiction(Consumer<net.sf.tweety.logics.pl.syntax.Disjunction> clauses, int polarity)
protected net.sf.tweety.logics.pl.syntax.Proposition	transformDisjunction(Collection<net.sf.tweety.logics.pl.syntax.Proposition> children, Consumer<net.sf.tweety.logics.pl.syntax.Disjunction> clauses, int polarity)
protected net.sf.tweety.logics.pl.syntax.Proposition	transformEquivalence(Collection<net.sf.tweety.logics.pl.syntax.Proposition> children, Consumer<net.sf.tweety.logics.pl.syntax.Disjunction> clauses, int polarity)
protected net.sf.tweety.logics.pl.syntax.Proposition	transformExclusiveDisjunction(net.sf.tweety.logics.pl.syntax.Proposition left, net.sf.tweety.logics.pl.syntax.Proposition right, Consumer<net.sf.tweety.logics.pl.syntax.Disjunction> clauses, int polarity)
protected net.sf.tweety.logics.pl.syntax.Proposition	transformImplication(net.sf.tweety.logics.pl.syntax.Proposition left, net.sf.tweety.logics.pl.syntax.Proposition right, Consumer<net.sf.tweety.logics.pl.syntax.Disjunction> clauses, int polarity)
protected net.sf.tweety.logics.pl.syntax.Proposition	transformNegation(net.sf.tweety.logics.pl.syntax.Proposition child, Consumer<net.sf.tweety.logics.pl.syntax.Disjunction> clauses, int polarity)
protected net.sf.tweety.logics.pl.syntax.Proposition	transformTautology(Consumer<net.sf.tweety.logics.pl.syntax.Disjunction> clauses, int polarity)

Methods inherited from class net.sf.tweety.arg.adf.transform.AbstractCollector

collect, transform, transform

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface net.sf.tweety.arg.adf.transform.Collector

collect

Method Detail

builder

public static TseitinTransformer.Builder builder(Function<Argument,net.sf.tweety.logics.pl.syntax.Proposition> argumentMapping)

builder

public static TseitinTransformer.Builder builder(Map<Argument,net.sf.tweety.logics.pl.syntax.Proposition> argumentMapping)

topLevelPolarity

protected int topLevelPolarity()

Overrides:

topLevelPolarity in class AbstractCollector<net.sf.tweety.logics.pl.syntax.Proposition,net.sf.tweety.logics.pl.syntax.Disjunction,net.sf.tweety.commons.util.Pair<net.sf.tweety.logics.pl.syntax.Proposition,Collection<net.sf.tweety.logics.pl.syntax.Disjunction>>>

initialize

protected Collection<net.sf.tweety.logics.pl.syntax.Disjunction> initialize()

Description copied from class: AbstractCollector

Provides the initial top-down data.

Specified by:

initialize in class AbstractCollector<net.sf.tweety.logics.pl.syntax.Proposition,net.sf.tweety.logics.pl.syntax.Disjunction,net.sf.tweety.commons.util.Pair<net.sf.tweety.logics.pl.syntax.Proposition,Collection<net.sf.tweety.logics.pl.syntax.Disjunction>>>

Returns:

the initial top-down data

finish

protected net.sf.tweety.commons.util.Pair<net.sf.tweety.logics.pl.syntax.Proposition,Collection<net.sf.tweety.logics.pl.syntax.Disjunction>> finish(net.sf.tweety.logics.pl.syntax.Proposition bottomUpData,
                                                                                                                                                          Collection<net.sf.tweety.logics.pl.syntax.Disjunction> collection)

Specified by:

finish in class AbstractCollector<net.sf.tweety.logics.pl.syntax.Proposition,net.sf.tweety.logics.pl.syntax.Disjunction,net.sf.tweety.commons.util.Pair<net.sf.tweety.logics.pl.syntax.Proposition,Collection<net.sf.tweety.logics.pl.syntax.Disjunction>>>

transformDisjunction

protected net.sf.tweety.logics.pl.syntax.Proposition transformDisjunction(Collection<net.sf.tweety.logics.pl.syntax.Proposition> children,
                                                                          Consumer<net.sf.tweety.logics.pl.syntax.Disjunction> clauses,
                                                                          int polarity)

Specified by:

transformDisjunction in class AbstractCollector<net.sf.tweety.logics.pl.syntax.Proposition,net.sf.tweety.logics.pl.syntax.Disjunction,net.sf.tweety.commons.util.Pair<net.sf.tweety.logics.pl.syntax.Proposition,Collection<net.sf.tweety.logics.pl.syntax.Disjunction>>>

transformConjunction

protected net.sf.tweety.logics.pl.syntax.Proposition transformConjunction(Collection<net.sf.tweety.logics.pl.syntax.Proposition> children,
                                                                          Consumer<net.sf.tweety.logics.pl.syntax.Disjunction> clauses,
                                                                          int polarity)

Specified by:

transformConjunction in class AbstractCollector<net.sf.tweety.logics.pl.syntax.Proposition,net.sf.tweety.logics.pl.syntax.Disjunction,net.sf.tweety.commons.util.Pair<net.sf.tweety.logics.pl.syntax.Proposition,Collection<net.sf.tweety.logics.pl.syntax.Disjunction>>>

transformImplication

protected net.sf.tweety.logics.pl.syntax.Proposition transformImplication(net.sf.tweety.logics.pl.syntax.Proposition left,
                                                                          net.sf.tweety.logics.pl.syntax.Proposition right,
                                                                          Consumer<net.sf.tweety.logics.pl.syntax.Disjunction> clauses,
                                                                          int polarity)

Specified by:

transformImplication in class AbstractCollector<net.sf.tweety.logics.pl.syntax.Proposition,net.sf.tweety.logics.pl.syntax.Disjunction,net.sf.tweety.commons.util.Pair<net.sf.tweety.logics.pl.syntax.Proposition,Collection<net.sf.tweety.logics.pl.syntax.Disjunction>>>

transformEquivalence

protected net.sf.tweety.logics.pl.syntax.Proposition transformEquivalence(Collection<net.sf.tweety.logics.pl.syntax.Proposition> children,
                                                                          Consumer<net.sf.tweety.logics.pl.syntax.Disjunction> clauses,
                                                                          int polarity)

Specified by:

transformEquivalence in class AbstractCollector<net.sf.tweety.logics.pl.syntax.Proposition,net.sf.tweety.logics.pl.syntax.Disjunction,net.sf.tweety.commons.util.Pair<net.sf.tweety.logics.pl.syntax.Proposition,Collection<net.sf.tweety.logics.pl.syntax.Disjunction>>>

transformExclusiveDisjunction

protected net.sf.tweety.logics.pl.syntax.Proposition transformExclusiveDisjunction(net.sf.tweety.logics.pl.syntax.Proposition left,
                                                                                   net.sf.tweety.logics.pl.syntax.Proposition right,
                                                                                   Consumer<net.sf.tweety.logics.pl.syntax.Disjunction> clauses,
                                                                                   int polarity)

Specified by:

transformExclusiveDisjunction in class AbstractCollector<net.sf.tweety.logics.pl.syntax.Proposition,net.sf.tweety.logics.pl.syntax.Disjunction,net.sf.tweety.commons.util.Pair<net.sf.tweety.logics.pl.syntax.Proposition,Collection<net.sf.tweety.logics.pl.syntax.Disjunction>>>

transformNegation

protected net.sf.tweety.logics.pl.syntax.Proposition transformNegation(net.sf.tweety.logics.pl.syntax.Proposition child,
                                                                       Consumer<net.sf.tweety.logics.pl.syntax.Disjunction> clauses,
                                                                       int polarity)

Specified by:

transformNegation in class AbstractCollector<net.sf.tweety.logics.pl.syntax.Proposition,net.sf.tweety.logics.pl.syntax.Disjunction,net.sf.tweety.commons.util.Pair<net.sf.tweety.logics.pl.syntax.Proposition,Collection<net.sf.tweety.logics.pl.syntax.Disjunction>>>

transformArgument

protected net.sf.tweety.logics.pl.syntax.Proposition transformArgument(Argument argument,
                                                                       Consumer<net.sf.tweety.logics.pl.syntax.Disjunction> collection,
                                                                       int polarity)

Specified by:

transformArgument in class AbstractCollector<net.sf.tweety.logics.pl.syntax.Proposition,net.sf.tweety.logics.pl.syntax.Disjunction,net.sf.tweety.commons.util.Pair<net.sf.tweety.logics.pl.syntax.Proposition,Collection<net.sf.tweety.logics.pl.syntax.Disjunction>>>

transformContradiction

protected net.sf.tweety.logics.pl.syntax.Proposition transformContradiction(Consumer<net.sf.tweety.logics.pl.syntax.Disjunction> clauses,
                                                                            int polarity)

Specified by:

transformContradiction in class AbstractCollector<net.sf.tweety.logics.pl.syntax.Proposition,net.sf.tweety.logics.pl.syntax.Disjunction,net.sf.tweety.commons.util.Pair<net.sf.tweety.logics.pl.syntax.Proposition,Collection<net.sf.tweety.logics.pl.syntax.Disjunction>>>

transformTautology

protected net.sf.tweety.logics.pl.syntax.Proposition transformTautology(Consumer<net.sf.tweety.logics.pl.syntax.Disjunction> clauses,
                                                                        int polarity)

Specified by:

transformTautology in class AbstractCollector<net.sf.tweety.logics.pl.syntax.Proposition,net.sf.tweety.logics.pl.syntax.Disjunction,net.sf.tweety.commons.util.Pair<net.sf.tweety.logics.pl.syntax.Proposition,Collection<net.sf.tweety.logics.pl.syntax.Disjunction>>>