org.eclipse.viatra.transformation.tracer
Classes
TraceCoder
TraceExecutor