PushDown.java

package esl.cuenet.algorithms.firstk;

import esl.cuenet.algorithms.firstk.structs.eventgraph.EventGraph;

public interface PushDown {

    public void pushDown(EventGraph relationGraph);

}