view src/de/mpiwg/anteater/xml/IResultFileManager.java @ 0:036535fcd179

anteater
author jdamerow
date Fri, 14 Sep 2012 10:30:43 +0200
parents
children
line wrap: on
line source

package de.mpiwg.anteater.xml;

public interface IResultFileManager {

	public abstract void addSupplInf(String result);

	public abstract void addSummary(String result);

}