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

Packages that use Transform

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

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

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

Modifier and Type	Method	Description
<C,R,O> R	AcceptanceCondition.collect(Transform<C,R> transform, java.util.function.BiConsumer<O,C> accumulator, O container)	Similar to AcceptanceCondition.collect(Transform, Collector) but with the main difference that it allows us access to all returned values of the given transform.
<C,R,A,O> O	AcceptanceCondition.collect(Transform<C,R> transform, java.util.stream.Collector<C,A,O> collector)	A powerful method which allows us to collect arbitrary information provided by the given transform into arbitrary data-structures provided by the collector.
AbstractDialecticalFramework	AbstractDialecticalFramework.transform(Transform<AcceptanceCondition,AcceptanceCondition> transform)	Creates a copy of this ADF with transformed acceptance conditions.
<R> R	AcceptanceCondition.transform(Transform<?,R> transform)	A simple transform operation which is expected to be used in cases where we just want to transform this recursive structure into another recursive structure.
protected abstract <C,R> R	AcceptanceCondition.transform(Transform<C,R> transform, java.util.function.Consumer<C> consumer, int polarity)
protected <C,R> R	Argument.transform(Transform<C,R> transform, java.util.function.Consumer<C> consumer, int polarity)
protected <C,R> R	AssociativeAcceptanceCondition.transform(Transform<C,R> transform, java.util.function.Consumer<C> consumer, int polarity)
protected abstract <C,R> R	AssociativeAcceptanceCondition.transform(Transform<C,R> transform, java.util.function.Consumer<C> consumer, java.util.Collection<R> subconditions, int polarity)
protected <C,R> R	BinaryAcceptanceCondition.transform(Transform<C,R> transform, java.util.function.Consumer<C> consumer, int polarity)
protected abstract <C,R> R	BinaryAcceptanceCondition.transform(Transform<C,R> transform, java.util.function.Consumer<C> consumer, R left, R right, int polarity)
protected <C,R> R	ConjunctionAcceptanceCondition.transform(Transform<C,R> transform, java.util.function.Consumer<C> consumer, java.util.Collection<R> subconditions, int polarity)
protected <C,R> R	ContradictionAcceptanceCondition.transform(Transform<C,R> transform, java.util.function.Consumer<C> consumer, int polarity)
protected <C,R> R	DisjunctionAcceptanceCondition.transform(Transform<C,R> transform, java.util.function.Consumer<C> consumer, java.util.Collection<R> subconditions, int polarity)
protected <C,R> R	EquivalenceAcceptanceCondition.transform(Transform<C,R> transform, java.util.function.Consumer<C> consumer, R left, R right, int polarity)
protected <C,R> R	ExclusiveDisjunctionAcceptanceCondition.transform(Transform<C,R> transform, java.util.function.Consumer<C> consumer, R left, R right, int polarity)
protected <C,R> R	ImplicationAcceptanceCondition.transform(Transform<C,R> transform, java.util.function.Consumer<C> consumer, R left, R right, int polarity)
protected <C,R> R	NegationAcceptanceCondition.transform(Transform<C,R> transform, java.util.function.Consumer<C> consumer, R sub, int polarity)
protected <C,R> R	TautologyAcceptanceCondition.transform(Transform<C,R> transform, java.util.function.Consumer<C> consumer, int polarity)
protected <C,R> R	UnaryAcceptanceCondition.transform(Transform<C,R> transform, java.util.function.Consumer<C> consumer, int polarity)
protected abstract <C,R> R	UnaryAcceptanceCondition.transform(Transform<C,R> transform, java.util.function.Consumer<C> consumer, R sub, int polarity)

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

Subinterfaces of Transform in net.sf.tweety.arg.adf.transform

Modifier and Type	Interface	Description
interface	SimpleTransform<R>	A convenience interface for simple transformation operations on the recursive structure of the acceptance conditions.

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

Modifier and Type	Class	Description
class	DefinitionalCNFTransform	An implementation of a definitional (resp.
class	FixPartialTransform	Syntactically rewrites the acceptance condition s.t.
class	OmegaReductTransform	Replaces all unsatisfied arguments relative to a given interpretation with falsum.
class	PlFormulaTransform