Package net.sf.opendse.optimization.io

Interface SpecificationTransformer

public interface SpecificationTransformer

A SpecificationTransformer changes the Specification before the design space exploration starts.

Method Summary

Modifier and Type	Method	Description
int	getPriority()	The priority changes the order in which SpecificationTransformers are executed.
void	transform(Specification specification)	Changes the Specification.

Method Details

transform

void transform(Specification specification)

Changes the Specification.

Parameters:

specification - the specification to change

getPriority

int getPriority()

The priority changes the order in which SpecificationTransformers are executed.

Returns:

the priority