FixPartialTransformer

java.lang.Object
- net.sf.tweety.arg.adf.transform.AbstractTransformer<AcceptanceCondition,java.lang.Void,AcceptanceCondition>
- - net.sf.tweety.arg.adf.transform.FixPartialTransformer

All Implemented Interfaces:

Transformer<AcceptanceCondition>
```
public final class FixPartialTransformer
extends AbstractTransformer<AcceptanceCondition,java.lang.Void,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
  - Methods inherited from class net.sf.tweety.arg.adf.transform.AbstractTransformer
    transform
  - Methods inherited from class java.lang.Object
    equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - FixPartialTransformer
```
public FixPartialTransformer(Interpretation interpretation)
```
    Parameters:
    
    interpretation - the interpretation which is used