IBacktrackListener.java « api « designspace « dse « viatra « eclipse « org « src « org.eclipse.viatra.dse « VIATRA-Solver « Solvers - VIATRA-Generator - Mirror of https://github.com/viatra/VIATRA-Generator

about summary refs log tree commit diff stats

path: root/Solvers/VIATRA-Solver/org.eclipse.viatra.dse/src/org/eclipse/viatra/dse/designspace/api/IBacktrackListener.java

blob: 5c688276bdd87c11003234fe9b9788cc61e81bd9 (plain) (blame)

package org.eclipse.viatra.dse.designspace.api;

public interface IBacktrackListener {
	void forwardWorked(long nanos);
	
	void backtrackWorked(long nanos);
}