Class FixPartialTransformer
java.lang.Object
org.tweetyproject.arg.adf.transform.FixPartialTransformer
- All Implemented Interfaces:
Transformer<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
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionTransforms the given acceptance condition into another structure.
-
Constructor Details
-
FixPartialTransformer
- Parameters:
interpretation
- the interpretation which is used
-
-
Method Details
-
transform
Description copied from interface:Transformer
Transforms the given acceptance condition into another structure.- Specified by:
transform
in interfaceTransformer<AcceptanceCondition>
- Parameters:
acc
- the acceptance condition- Returns:
- the transformed result
-