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

Class AbstractTransformer<U,D,R>

java.lang.Object

net.sf.tweety.arg.adf.transform.AbstractTransformer<U,D,R>

Type Parameters:

U - the information that is passed bottom-up during the transformation

D - the information that is passed top-down during the transformation

R - the result of the transformation

All Implemented Interfaces:

Transformer<R>

Direct Known Subclasses:

FixPartialTransformer, OmegaReductTransformer, PropositionalTransformer

public abstract class AbstractTransformer<U,D,R>
extends Object
implements Transformer<R>

Author:

Mathias Hofer

Constructor Summary

Constructors

Constructor	Description
AbstractTransformer()

Method Summary

Modifier and Type	Method	Description
protected abstract R	finish(U bottomUpData, D topDownData)
protected abstract D	initialize()	Provides the initial top-down data.
protected int	topLevelPolarity()
R	transform(AcceptanceCondition acc)	Transforms the given acceptance condition into another structure.
protected U	transform(AcceptanceCondition acc, D userObject)
protected abstract U	transformArgument(Argument argument, D topDownData, int polarity)
protected abstract U	transformConjunction(Collection<U> children, D topDownData, int polarity)
protected abstract U	transformContradiction(D topDownData, int polarity)
protected abstract U	transformDisjunction(Collection<U> children, D topDownData, int polarity)
protected abstract U	transformEquivalence(Collection<U> children, D topDownData, int polarity)
protected abstract U	transformExclusiveDisjunction(U left, U right, D topDownData, int polarity)
protected abstract U	transformImplication(U left, U right, D topDownData, int polarity)
protected abstract U	transformNegation(U child, D topDownData, int polarity)
protected abstract U	transformTautology(D topDownData, int polarity)

Methods inherited from class java.lang.Object

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

Constructor Detail

AbstractTransformer

public AbstractTransformer()

Method Detail

transform

public R transform(AcceptanceCondition acc)

Description copied from interface: Transformer

Transforms the given acceptance condition into another structure.

Specified by:

transform in interface Transformer<U>

Parameters:

acc - the acceptance condition

Returns:

the transformed result

transform

protected U transform(AcceptanceCondition acc,
                      D userObject)

topLevelPolarity

protected int topLevelPolarity()

initialize

protected abstract D initialize()

Provides the initial top-down data.

Returns:

the initial top-down data

finish

protected abstract R finish(U bottomUpData,
                            D topDownData)

transformDisjunction

protected abstract U transformDisjunction(Collection<U> children,
                                          D topDownData,
                                          int polarity)

transformConjunction

protected abstract U transformConjunction(Collection<U> children,
                                          D topDownData,
                                          int polarity)

transformImplication

protected abstract U transformImplication(U left,
                                          U right,
                                          D topDownData,
                                          int polarity)

transformEquivalence

protected abstract U transformEquivalence(Collection<U> children,
                                          D topDownData,
                                          int polarity)

transformExclusiveDisjunction

protected abstract U transformExclusiveDisjunction(U left,
                                                   U right,
                                                   D topDownData,
                                                   int polarity)

transformNegation

protected abstract U transformNegation(U child,
                                       D topDownData,
                                       int polarity)

transformArgument

protected abstract U transformArgument(Argument argument,
                                       D topDownData,
                                       int polarity)

transformContradiction

protected abstract U transformContradiction(D topDownData,
                                            int polarity)

transformTautology

protected abstract U transformTautology(D topDownData,
                                        int polarity)