Package org.eclipse.viatra.query.runtime.localsearch.profiler
-
Class Summary Class Description LocalSearchProfilerAdapter This is a simpleILocalSearchAdapter
which capable of counting each search operation execution then printing it in human readably form (along with the executed plans) usingLocalSearchProfilerAdapter.toString()