Uses of Interface
net.sf.tweety.arg.adf.transform.Transformer

Packages that use Transformer

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

Uses of Transformer in net.sf.tweety.arg.adf.syntax.adf

Methods in net.sf.tweety.arg.adf.syntax.adf with parameters of type Transformer

Modifier and Type	Method	Description
static AbstractDialecticalFramework.Builder	AbstractDialecticalFramework.transform(AbstractDialecticalFramework adf, Transformer<AcceptanceCondition> transformer)	Creates a new AbstractDialecticalFramework with transformed acceptance conditions.

Uses of Transformer in net.sf.tweety.arg.adf.transform

Classes in net.sf.tweety.arg.adf.transform that implement Transformer

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