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 constantsTautologyAcceptanceCondition
orContradictionAcceptanceCondition
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 interfaceSimpleTransform<AcceptanceCondition>
-
transformConjunction
public AcceptanceCondition transformConjunction(java.util.Collection<AcceptanceCondition> subconditions)
- Specified by:
transformConjunction
in interfaceSimpleTransform<AcceptanceCondition>
-
transformImplication
public AcceptanceCondition transformImplication(AcceptanceCondition left, AcceptanceCondition right)
- Specified by:
transformImplication
in interfaceSimpleTransform<AcceptanceCondition>
-
transformEquivalence
public AcceptanceCondition transformEquivalence(AcceptanceCondition left, AcceptanceCondition right)
- Specified by:
transformEquivalence
in interfaceSimpleTransform<AcceptanceCondition>
-
transformExclusiveDisjunction
public AcceptanceCondition transformExclusiveDisjunction(AcceptanceCondition left, AcceptanceCondition right)
- Specified by:
transformExclusiveDisjunction
in interfaceSimpleTransform<AcceptanceCondition>
-
transformNegation
public AcceptanceCondition transformNegation(AcceptanceCondition sub)
- Specified by:
transformNegation
in interfaceSimpleTransform<AcceptanceCondition>
-
transformArgument
public AcceptanceCondition transformArgument(Argument argument)
- Specified by:
transformArgument
in interfaceSimpleTransform<AcceptanceCondition>
-
transformContradiction
public AcceptanceCondition transformContradiction()
- Specified by:
transformContradiction
in interfaceSimpleTransform<AcceptanceCondition>
-
transformTautology
public AcceptanceCondition transformTautology()
- Specified by:
transformTautology
in interfaceSimpleTransform<AcceptanceCondition>
-
-