net.sf.tweety.beliefdynamics.selectiverevision

Interface TransformationFunction<T extends Formula>

Type Parameters:

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

public interface TransformationFunction<T extends Formula>

This interface represents a transformation function for selective revision [Ferme:1999].

Author:

Matthias Thimm

Method Summary

Modifier and Type	Method and Description
T	transform(T formula) Transforms the given formula for selective revision.

Method Detail

transform

T transform(T formula)

Transforms the given formula for selective revision.

Parameters:

formula - some formula.

Returns:

a formula.