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

Interface Summary

Interface	Description
Collector<U,D>	The concept of a collector is similar to its sibling Transformer, we want to transform an AcceptanceCondition into a different structure.
Transformer<R>	Transforms an acceptance condition into an arbitrary structure.

Class Summary

Class	Description
AbstractCollector<U,D,R>	Similar to AbstractTransformer but is designed for collections and therefore provides Collector functionality for free.
AbstractTransformer<U,D,R>
FixPartialTransformer	Syntactically rewrites the acceptance condition s.t.
OmegaReductTransformer	Replaces all unsatisfied arguments relative to a provided Interpretation with ContradictionAcceptanceCondition, all the rest remains untouched.
PropositionalTransformer	Transforms an AcceptanceCondition into a PlFormula.
TseitinTransformer
TseitinTransformer.Builder