Derivative.java

package de.ovgu.cide.tools.interactionanalyzer;

public interface Derivative extends Comparable {

	public abstract String getDerivativeStr();

}