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

Class FixPartialTransformer

java.lang.Object

net.sf.tweety.arg.adf.transform.AbstractTransformer<AcceptanceCondition,Void,AcceptanceCondition>

net.sf.tweety.arg.adf.transform.FixPartialTransformer

All Implemented Interfaces:

Transformer<AcceptanceCondition>

public final class FixPartialTransformer
extends AbstractTransformer<AcceptanceCondition,Void,AcceptanceCondition>

Syntactically rewrites the acceptance condition s.t. the arguments are replaced with the corresponding constants TautologyAcceptanceCondition or ContradictionAcceptanceCondition according to the given (partial) interpretation.

Some examples:
and(a,b,c) with {t(a), u(b), u(c)} becomes and(b,c).
or(a,b,c) with {t(a), u(b), u(c)} becomes T.
or(a,b,c) with {f(a), u(b), u(c)} becomes or(b,c).

Author:

Mathias Hofer

Constructor Summary

Constructors

Constructor	Description
FixPartialTransformer(Interpretation interpretation)

Method Summary

Modifier and Type	Method	Description
protected AcceptanceCondition	finish(AcceptanceCondition bottomUpData, Void topDownData)
protected Void	initialize()	Provides the initial top-down data.
protected AcceptanceCondition	transformArgument(Argument argument, Void topDownData, int polarity)
protected AcceptanceCondition	transformConjunction(Collection<AcceptanceCondition> children, Void topDownData, int polarity)
protected AcceptanceCondition	transformContradiction(Void topDownData, int polarity)
protected AcceptanceCondition	transformDisjunction(Collection<AcceptanceCondition> children, Void topDownData, int polarity)
protected AcceptanceCondition	transformEquivalence(Collection<AcceptanceCondition> children, Void topDownData, int polarity)
protected AcceptanceCondition	transformExclusiveDisjunction(AcceptanceCondition left, AcceptanceCondition right, Void topDownData, int polarity)
protected AcceptanceCondition	transformImplication(AcceptanceCondition left, AcceptanceCondition right, Void topDownData, int polarity)
protected AcceptanceCondition	transformNegation(AcceptanceCondition child, Void topDownData, int polarity)
protected AcceptanceCondition	transformTautology(Void topDownData, int polarity)

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

topLevelPolarity, transform, transform

Methods inherited from class java.lang.Object

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

Constructor Detail

FixPartialTransformer

public FixPartialTransformer(Interpretation interpretation)

Parameters:

interpretation - the interpretation which is used

Method Detail

initialize

protected Void initialize()

Description copied from class: AbstractTransformer

Provides the initial top-down data.

Specified by:

initialize in class AbstractTransformer<AcceptanceCondition,Void,AcceptanceCondition>

Returns:

the initial top-down data

finish

protected AcceptanceCondition finish(AcceptanceCondition bottomUpData,
                                     Void topDownData)

Specified by:

finish in class AbstractTransformer<AcceptanceCondition,Void,AcceptanceCondition>

transformDisjunction

protected AcceptanceCondition transformDisjunction(Collection<AcceptanceCondition> children,
                                                   Void topDownData,
                                                   int polarity)

Specified by:

transformDisjunction in class AbstractTransformer<AcceptanceCondition,Void,AcceptanceCondition>

transformConjunction

protected AcceptanceCondition transformConjunction(Collection<AcceptanceCondition> children,
                                                   Void topDownData,
                                                   int polarity)

Specified by:

transformConjunction in class AbstractTransformer<AcceptanceCondition,Void,AcceptanceCondition>

transformImplication

protected AcceptanceCondition transformImplication(AcceptanceCondition left,
                                                   AcceptanceCondition right,
                                                   Void topDownData,
                                                   int polarity)

Specified by:

transformImplication in class AbstractTransformer<AcceptanceCondition,Void,AcceptanceCondition>

transformEquivalence

protected AcceptanceCondition transformEquivalence(Collection<AcceptanceCondition> children,
                                                   Void topDownData,
                                                   int polarity)

Specified by:

transformEquivalence in class AbstractTransformer<AcceptanceCondition,Void,AcceptanceCondition>

transformExclusiveDisjunction

protected AcceptanceCondition transformExclusiveDisjunction(AcceptanceCondition left,
                                                            AcceptanceCondition right,
                                                            Void topDownData,
                                                            int polarity)

Specified by:

transformExclusiveDisjunction in class AbstractTransformer<AcceptanceCondition,Void,AcceptanceCondition>

transformNegation

protected AcceptanceCondition transformNegation(AcceptanceCondition child,
                                                Void topDownData,
                                                int polarity)

Specified by:

transformNegation in class AbstractTransformer<AcceptanceCondition,Void,AcceptanceCondition>

transformArgument

protected AcceptanceCondition transformArgument(Argument argument,
                                                Void topDownData,
                                                int polarity)

Specified by:

transformArgument in class AbstractTransformer<AcceptanceCondition,Void,AcceptanceCondition>

transformContradiction

protected AcceptanceCondition transformContradiction(Void topDownData,
                                                     int polarity)

Specified by:

transformContradiction in class AbstractTransformer<AcceptanceCondition,Void,AcceptanceCondition>

transformTautology

protected AcceptanceCondition transformTautology(Void topDownData,
                                                 int polarity)

Specified by:

transformTautology in class AbstractTransformer<AcceptanceCondition,Void,AcceptanceCondition>