Package org.tweetyproject.arg.adf.transform

Class FixPartialTransformer

java.lang.Object

org.tweetyproject.arg.adf.transform.FixPartialTransformer

All Implemented Interfaces:

Transformer<AcceptanceCondition>

public final class FixPartialTransformer
extends Object
implements 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

Constructors

Constructor	Description
FixPartialTransformer(Interpretation interpretation)

Method Summary

Modifier and Type	Method	Description
AcceptanceCondition	transform(AcceptanceCondition acc)	Transforms the given acceptance condition into another structure.

Methods inherited from class java.lang.Object

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

Constructor Details

FixPartialTransformer

public FixPartialTransformer(Interpretation interpretation)

Parameters:

interpretation - the interpretation which is used

Method Details

transform

public AcceptanceCondition transform(AcceptanceCondition acc)

Description copied from interface: Transformer

Transforms the given acceptance condition into another structure.

Specified by:

transform in interface Transformer<AcceptanceCondition>

Parameters:

acc - the acceptance condition

Returns:

the transformed result