plugin/src/java/org/pm4knime/util/ReplayerUtil.java
public static Object[] checkETCPrecision(ReflectedLog refLog, Petrinet net, Marking iniM, Marking endM, MultiETCSettings etcSett) {

		AutomatonFactory factory = new AutomatonFactory(etcSett);
		Automaton a = factory.createAutomaton();
		MultiETCResult res = new MultiETCResult();
		a.checkConformance(refLog, net, iniM, endM, res, etcSett);
		
		// setSettingsInfoInResult(etcSett,res);
		res.putAttribute(MultiETCResult.ETC_SETT, etcSett);	
		setAutomatonInfoInResult(a,res);
		
		return new Object[] {res, a};
	}
// accept intial Marking and backwards Marking to get the result.
accept intial Marking and backwards Marking to get the result.
accept intial Marking and backwards Marking to get the result .
public static Object[] checkETCPrecision(ReflectedLog refLog, Petrinet net, Marking iniM, Marking endM, MultiETCSettings etcSett) {
		AutomatonFactory factory = new AutomatonFactory(etcSett);
		Automaton a = factory.createAutomaton();
		MultiETCResult res = new MultiETCResult();
		a.checkConformance(refLog, net, iniM, endM, res, etcSett);
		res.putAttribute(MultiETCResult.ETC_SETT, etcSett);	
		setAutomatonInfoInResult(a,res);
		return new Object[] {res, a};
	}
public static Object [ ] checkETCPrecision ( ReflectedLog refLog , Petrinet net , Marking iniM , Marking endM , MultiETCSettings etcSett ) { AutomatonFactory factory = new AutomatonFactory ( etcSett ) ; Automaton a = factory . createAutomaton ( ) ; MultiETCResult res = new MultiETCResult ( ) ; a . checkConformance ( refLog , net , iniM , endM , res , etcSett ) ; res . putAttribute ( MultiETCResult . ETC_SETT , etcSett ) ; setAutomatonInfoInResult ( a , res ) ; return new Object [ ] { res , a } ; }
accept intial Marking and backwards Marking to get the result.
accept intial Marking and backwards Marking to get the result .
// setSettingsInfoInResult(etcSett,res);