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

Class OmegaReductTransformer

java.lang.Object

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

net.sf.tweety.arg.adf.transform.OmegaReductTransformer

All Implemented Interfaces:

Transformer<AcceptanceCondition>

public class OmegaReductTransformer
extends AbstractTransformer<AcceptanceCondition,Void,AcceptanceCondition>

Replaces all unsatisfied arguments relative to a provided Interpretation with ContradictionAcceptanceCondition, all the rest remains untouched.

Author:

Mathias Hofer

Constructor Summary

Constructors

Constructor	Description
OmegaReductTransformer(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

OmegaReductTransformer

public OmegaReductTransformer(Interpretation interpretation)

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>