dpvis.transform
Interface TrsToTrsTransformation

public interface TrsToTrsTransformation

Interface for transformations of rewrite systems, e.g. conditional ones into unconditional ones etc.

Author:

felixs

Method Summary

RewriteSystem

transform(RewriteSystem trs) Method that transforms a given Rewrite System into another one.

Method Detail

transform

RewriteSystem transform(RewriteSystem trs)

Method that transforms a given Rewrite System into another one.

Parameters:

trs - The Rewrite System that shall be transformed.

Returns:

The result of the transformation.