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

Class FixPartialTransform

java.lang.Object

net.sf.tweety.arg.adf.transform.FixPartialTransform

All Implemented Interfaces:

SimpleTransform<AcceptanceCondition>, Transform<AcceptanceCondition,AcceptanceCondition>

public class FixPartialTransform
extends java.lang.Object
implements SimpleTransform<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

Field Summary

Fields

Modifier and Type	Field	Description
private static ContradictionAcceptanceCondition	CONTRADICTION
private Interpretation	partialInterpretation
private static TautologyAcceptanceCondition	TAUTOLOGY

Constructor Summary

Constructors

Constructor	Description
FixPartialTransform(Interpretation partialInterpretation)

Method Summary

Modifier and Type	Method	Description
AcceptanceCondition	transformArgument(Argument argument)
AcceptanceCondition	transformConjunction(java.util.Collection<AcceptanceCondition> subconditions)
AcceptanceCondition	transformContradiction()
AcceptanceCondition	transformDisjunction(java.util.Collection<AcceptanceCondition> subconditions)
AcceptanceCondition	transformEquivalence(AcceptanceCondition left, AcceptanceCondition right)
AcceptanceCondition	transformExclusiveDisjunction(AcceptanceCondition left, AcceptanceCondition right)
AcceptanceCondition	transformImplication(AcceptanceCondition left, AcceptanceCondition right)
AcceptanceCondition	transformNegation(AcceptanceCondition sub)
AcceptanceCondition	transformTautology()

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.SimpleTransform

transformArgument, transformConjunction, transformContradiction, transformDisjunction, transformEquivalence, transformExclusiveDisjunction, transformImplication, transformNegation, transformTautology

Field Detail

TAUTOLOGY

private static final TautologyAcceptanceCondition TAUTOLOGY

CONTRADICTION

private static final ContradictionAcceptanceCondition CONTRADICTION

partialInterpretation

private Interpretation partialInterpretation

Constructor Detail

FixPartialTransform

public FixPartialTransform(Interpretation partialInterpretation)

Parameters:

partialInterpretation -

Method Detail

transformDisjunction

public AcceptanceCondition transformDisjunction(java.util.Collection<AcceptanceCondition> subconditions)

Specified by:

transformDisjunction in interface SimpleTransform<AcceptanceCondition>

transformConjunction

public AcceptanceCondition transformConjunction(java.util.Collection<AcceptanceCondition> subconditions)

Specified by:

transformConjunction in interface SimpleTransform<AcceptanceCondition>

transformImplication

public AcceptanceCondition transformImplication(AcceptanceCondition left,
                                                AcceptanceCondition right)

Specified by:

transformImplication in interface SimpleTransform<AcceptanceCondition>

transformEquivalence

public AcceptanceCondition transformEquivalence(AcceptanceCondition left,
                                                AcceptanceCondition right)

Specified by:

transformEquivalence in interface SimpleTransform<AcceptanceCondition>

transformExclusiveDisjunction

public AcceptanceCondition transformExclusiveDisjunction(AcceptanceCondition left,
                                                         AcceptanceCondition right)

Specified by:

transformExclusiveDisjunction in interface SimpleTransform<AcceptanceCondition>

transformNegation

public AcceptanceCondition transformNegation(AcceptanceCondition sub)

Specified by:

transformNegation in interface SimpleTransform<AcceptanceCondition>

transformArgument

public AcceptanceCondition transformArgument(Argument argument)

Specified by:

transformArgument in interface SimpleTransform<AcceptanceCondition>

transformContradiction

public AcceptanceCondition transformContradiction()

Specified by:

transformContradiction in interface SimpleTransform<AcceptanceCondition>

transformTautology

public AcceptanceCondition transformTautology()

Specified by:

transformTautology in interface SimpleTransform<AcceptanceCondition>