net.sf.tweety.beliefdynamics.selectiverevision

Interface MultipleTransformationFunction<T extends net.sf.tweety.commons.Formula>

Type Parameters:

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

All Known Implementing Classes:

ArgumentativeTransformationFunction

public interface MultipleTransformationFunction<T extends net.sf.tweety.commons.Formula>

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

Author:

Matthias Thimm

Method Summary

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

Method Detail

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.