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

Interface SimpleTransform<R>

Type Parameters:

R - the result of the transform operation

All Superinterfaces:

Transform<R,R>

All Known Implementing Classes:

FixPartialTransform, OmegaReductTransform, PlFormulaTransform

public interface SimpleTransform<R>
extends Transform<R,R>

A convenience interface for simple transformation operations on the recursive structure of the acceptance conditions.

Author:

Mathias Hofer

Method Summary

Modifier and Type	Method	Description
default R	transformArgument(java.util.function.Consumer<R> consumer, Argument argument, int polarity)	This method is visited by the Arguments of the acceptance condition on which we apply this Transform.
R	transformArgument(Argument argument)
R	transformConjunction(java.util.Collection<R> subconditions)
default R	transformConjunction(java.util.function.Consumer<R> consumer, java.util.Collection<R> subconditions, int polarity)	This method is visited by the ConjunctionAcceptanceConditions of the acceptance condition on which we apply this Transform.
R	transformContradiction()
default R	transformContradiction(java.util.function.Consumer<R> consumer, int polarity)	This method is visited by the ContradictionAcceptanceConditions of the acceptance condition on which we apply this Transform.
R	transformDisjunction(java.util.Collection<R> subconditions)
default R	transformDisjunction(java.util.function.Consumer<R> consumer, java.util.Collection<R> subconditions, int polarity)	This method is visited by the DisjunctionAcceptanceConditions of the acceptance condition on which we apply this Transform.
default R	transformEquivalence(java.util.function.Consumer<R> consumer, R left, R right, int polarity)	This method is visited by the EquivalenceAcceptanceConditions of the acceptance condition on which we apply this Transform.
R	transformEquivalence(R left, R right)
default R	transformExclusiveDisjunction(java.util.function.Consumer<R> consumer, R left, R right, int polarity)	This method is visited by the ExclusiveDisjunctionAcceptanceConditions of the acceptance condition on which we apply this Transform.
R	transformExclusiveDisjunction(R left, R right)
default R	transformImplication(java.util.function.Consumer<R> consumer, R left, R right, int polarity)	This method is visited by the ImplicationAcceptanceConditions of the acceptance condition on which we apply this Transform.
R	transformImplication(R left, R right)
default R	transformNegation(java.util.function.Consumer<R> consumer, R sub, int polarity)	This method is visited by the NegationAcceptanceConditions of the acceptance condition on which we apply this Transform.
R	transformNegation(R sub)
R	transformTautology()
default R	transformTautology(java.util.function.Consumer<R> consumer, int polarity)	This method is visited by the TautologyAcceptanceConditions of the acceptance condition on which we apply this Transform.

Method Detail

transformDisjunction

default R transformDisjunction(java.util.function.Consumer<R> consumer,
                               java.util.Collection<R> subconditions,
                               int polarity)

Description copied from interface: Transform

This method is visited by the DisjunctionAcceptanceConditions of the acceptance condition on which we apply this Transform.

Specified by:

transformDisjunction in interface Transform<R,R>

Parameters:

consumer - the consumer of the computed return values

subconditions - the subconditions of this disjunction, e.g. {a, b} if this = or(a,b)

polarity - polarity < 0: negative global position of this disjunction, e.g. this -> a
polarity = 0: neutral global position of this disjunction, e.g. this <-> a
polarity > 0: positive global position of this disjunction, e.g. a -> this

Returns:

the result which we want to return to the parent-formula of this disjunction

transformConjunction

default R transformConjunction(java.util.function.Consumer<R> consumer,
                               java.util.Collection<R> subconditions,
                               int polarity)

Description copied from interface: Transform

This method is visited by the ConjunctionAcceptanceConditions of the acceptance condition on which we apply this Transform.

Specified by:

transformConjunction in interface Transform<R,R>

Parameters:

consumer - the consumer of the computed return values

subconditions - the subconditions of this conjunction, e.g. {a, b} if this = and(a,b)

polarity - polarity < 0: negative global position of this conjunction, e.g. this -> a
polarity = 0: neutral global position of this conjunction, e.g. this <-> a
polarity > 0: positive global position of this conjunction, e.g. a -> this

Returns:

the result which we want to return to the parent-formula of this conjunction

transformImplication

default R transformImplication(java.util.function.Consumer<R> consumer,
                               R left,
                               R right,
                               int polarity)

Description copied from interface: Transform

This method is visited by the ImplicationAcceptanceConditions of the acceptance condition on which we apply this Transform.

Specified by:

transformImplication in interface Transform<R,R>

Parameters:

consumer - the consumer of the computed return values

left - the left part of the implication

right - the right part of the implication

polarity - polarity < 0: negative global position of this implication, e.g. this -> a
polarity = 0: neutral global position of this implication, e.g. this <-> a
polarity > 0: positive global position of this implication, e.g. a -> this

Returns:

the result which we want to return to the parent-formula of this implication

transformEquivalence

default R transformEquivalence(java.util.function.Consumer<R> consumer,
                               R left,
                               R right,
                               int polarity)

Description copied from interface: Transform

This method is visited by the EquivalenceAcceptanceConditions of the acceptance condition on which we apply this Transform.

Specified by:

transformEquivalence in interface Transform<R,R>

Parameters:

consumer - the consumer of the computed return values

left - the left part of the equivalence

right - the right part of the equivalence

polarity - polarity < 0: negative global position of this equivalence, e.g. this -> a
polarity = 0: neutral global position of this equivalence, e.g. this <-> a
polarity > 0: positive global position of this equivalence, e.g. a -> this

Returns:

the result which we want to return to the parent-formula of this equivalence

transformExclusiveDisjunction

default R transformExclusiveDisjunction(java.util.function.Consumer<R> consumer,
                                        R left,
                                        R right,
                                        int polarity)

Description copied from interface: Transform

This method is visited by the ExclusiveDisjunctionAcceptanceConditions of the acceptance condition on which we apply this Transform.

Specified by:

transformExclusiveDisjunction in interface Transform<R,R>

Parameters:

consumer - the consumer of the computed return values

left - the left part of the xor

right - the right part of the xor

polarity - polarity < 0: negative global position of this xor, e.g. this -> a
polarity = 0: neutral global position of this xor, e.g. this <-> a
polarity > 0: positive global position of this xor, e.g. a -> this

Returns:

the result which we want to return to the parent-formula of this xor

transformNegation

default R transformNegation(java.util.function.Consumer<R> consumer,
                            R sub,
                            int polarity)

Description copied from interface: Transform

This method is visited by the NegationAcceptanceConditions of the acceptance condition on which we apply this Transform.

Specified by:

transformNegation in interface Transform<R,R>

Parameters:

consumer - the consumer of the computed return values

sub - the subformula of this negation, i.e. this = neg(sub)

polarity - polarity < 0: negative global position of this negation, e.g. this -> a
polarity = 0: neutral global position of this negation, e.g. this <-> a
polarity > 0: positive global position of this negation, e.g. a -> this

Returns:

the result which we want to return to the parent-formula of this negation

transformArgument

default R transformArgument(java.util.function.Consumer<R> consumer,
                            Argument argument,
                            int polarity)

Description copied from interface: Transform

This method is visited by the Arguments of the acceptance condition on which we apply this Transform.

Specified by:

transformArgument in interface Transform<R,R>

Parameters:

consumer - the consumer of the computed return values

argument - the argument which calls this method

polarity - polarity < 0: negative global position of this argument, e.g. this -> a
polarity = 0: neutral global position of this argument, e.g. this <-> a
polarity > 0: positive global position of this argument, e.g. a -> this

Returns:

the result which we want to return to the parent-formula of this argument

transformContradiction

default R transformContradiction(java.util.function.Consumer<R> consumer,
                                 int polarity)

Description copied from interface: Transform

This method is visited by the ContradictionAcceptanceConditions of the acceptance condition on which we apply this Transform.

Specified by:

transformContradiction in interface Transform<R,R>

Parameters:

consumer - the consumer of the computed return values

polarity - polarity < 0: negative global position of this contradiction, e.g. this -> a
polarity = 0: neutral global position of this contradiction, e.g. this <-> a
polarity > 0: positive global position of this contradiction, e.g. a -> this

Returns:

the result which we want to return to the parent-formula of this contradiction

transformTautology

default R transformTautology(java.util.function.Consumer<R> consumer,
                             int polarity)

Description copied from interface: Transform

This method is visited by the TautologyAcceptanceConditions of the acceptance condition on which we apply this Transform.

Specified by:

transformTautology in interface Transform<R,R>

Parameters:

consumer - the consumer of the computed return values

polarity - polarity < 0: negative global position of this tautology, e.g. this -> a
polarity = 0: neutral global position of this tautology, e.g. this <-> a
polarity > 0: positive global position of this tautology, e.g. a -> this

Returns:

the result which we want to return to the parent-formula of this tautology

transformDisjunction

R transformDisjunction(java.util.Collection<R> subconditions)

transformConjunction

R transformConjunction(java.util.Collection<R> subconditions)

transformImplication

R transformImplication(R left,
                       R right)

transformEquivalence

R transformEquivalence(R left,
                       R right)

transformExclusiveDisjunction

R transformExclusiveDisjunction(R left,
                                R right)

transformNegation

R transformNegation(R sub)

transformArgument

R transformArgument(Argument argument)

transformContradiction

R transformContradiction()

transformTautology

R transformTautology()