SaveState.java

package br.ufpr.c3sl.state;

public interface SaveState {
	void buildEventsAndTransientvariables();
}