Class NativeShell

java.lang.Object
org.tweetyproject.commons.util.Shell
org.tweetyproject.commons.util.NativeShell

public class NativeShell extends Shell
Default shell
Author:
Nils Geilen, Matthias Thimm