package werti.util;
import java.util.List;
public interface Transformation {
/**
* Non-deterministic application.
*
* @param a Transformation parameter.
* @return A list of results. Empty if no result.
*/
public List apply(A a);
/**
* Checks for preconditions.
*
* @param a The parameter that is to be checked.
* @return {@code true} if {@code a} does meet the
* precondition, {@code false} otherwise.
*/
public boolean meetsPrecondition(A a);
}