package de.renew.ptchannel.single;

import de.renew.shadowcompiler.ShadowCompiler;
import de.renew.shadowcompiler.ShadowCompilerFactory;

/**
 * Factory for creating a PTNetWithChannel compiler.
 * @author 8voss
 */
public class PTNetWithChannelCompiler implements ShadowCompilerFactory {

    @Override
    public ShadowCompiler createCompiler() {
        return new SinglePTNetWithChannelCompiler();
    }
}
