ISimplifiedTemporalLogic.java

package de.tum.in.i22.uc.cm.datatypes.interfaces;


public interface ISimplifiedTemporalLogic {
	public IDataEventMap getDataEventMap();
	public IOslFormula getFormula();
	public IStateEventMap getStateEventMap();
}