Package org.tweetyproject.beliefdynamics.selectiverevision

Interface MultipleTransformationFunction<T extends Formula>

Type Parameters:

T - The type of formulas this transformation function works on.

All Known Implementing Classes:

ArgumentativeTransformationFunction, NaiveLiteralTransformationFunction, ScepticalLiteralTransformationFunction

public interface MultipleTransformationFunction<T extends Formula>

This interface represents a multiple transformation function for selective revision [Kruempelmann:2011,Ferme:1999].

Author:

Matthias Thimm

Method Summary

Modifier and Type	Method	Description
Collection<T>	transform(Collection<T> formulas)	Transforms the given set of formulas for selective revision.

Method Details

transform

Collection<T> transform(Collection<T> formulas)

Transforms the given set of formulas for selective revision.

Parameters:

formulas - a set of formulas.

Returns:

a set of formulas.