Uses of Interface
org.tweetyproject.arg.adf.transform.Transformer
-
Packages that use Transformer Package Description org.tweetyproject.arg.adf.syntax.adf org.tweetyproject.arg.adf.transform -
-
Uses of Transformer in org.tweetyproject.arg.adf.syntax.adf
Methods in org.tweetyproject.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 newAbstractDialecticalFramework
with transformed acceptance conditions. -
Uses of Transformer in org.tweetyproject.arg.adf.transform
Classes in org.tweetyproject.arg.adf.transform that implement Transformer Modifier and Type Class Description class
AbstractCollector<U,D,R>
Similar toAbstractTransformer
but is designed for collections and therefore providesCollector
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 providedInterpretation
withContradictionAcceptanceCondition
, all the rest remains untouched.class
TseitinTransformer
-