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

Class OmegaReductTransform

java.lang.Object

net.sf.tweety.arg.adf.transform.OmegaReductTransform

All Implemented Interfaces:

SimpleTransform<AcceptanceCondition>, Transform<AcceptanceCondition,AcceptanceCondition>

public class OmegaReductTransform
extends java.lang.Object
implements SimpleTransform<AcceptanceCondition>

Replaces all unsatisfied arguments relative to a given interpretation with falsum.

Author:

Mathias Hofer

Field Summary

Fields

Modifier and Type	Field	Description
private Interpretation	interpretation

Constructor Summary

Constructors

Constructor	Description
OmegaReductTransform(Interpretation interpretation)

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

interpretation

private Interpretation interpretation

Constructor Detail

OmegaReductTransform

public OmegaReductTransform(Interpretation interpretation)

Parameters:

interpretation - The interpretation for which we compute the reduct

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>