Uses of Class
net.sf.tweety.commons.util.Shell

Packages that use Shell

Package	Description
net.sf.tweety.arg.dung
net.sf.tweety.arg.dung.reasoner
net.sf.tweety.commons.util
net.sf.tweety.logics.fol.reasoner
net.sf.tweety.logics.ml.reasoner

Uses of Shell in net.sf.tweety.arg.dung

Fields in net.sf.tweety.arg.dung declared as Shell

Modifier and Type	Field and Description
(package private) static Shell	ProboTest.shell

Uses of Shell in net.sf.tweety.arg.dung.reasoner

Fields in net.sf.tweety.arg.dung.reasoner declared as Shell

Modifier and Type	Field and Description
private Shell	ProboReasoner.bash Which shell to use.

Constructors in net.sf.tweety.arg.dung.reasoner with parameters of type Shell

Constructor and Description
ProboReasoner(java.lang.String path_to_exec, Semantics semantics, Shell bash) Constructs a new instance of ProboReasoner

Uses of Shell in net.sf.tweety.commons.util

Subclasses of Shell in net.sf.tweety.commons.util

Modifier and Type	Class and Description
class	CygwinShell Cygwin shell.
class	NativeShell Default shell

Fields in net.sf.tweety.commons.util declared as Shell

Modifier and Type	Field and Description
private static Shell	Shell.nat

Methods in net.sf.tweety.commons.util that return Shell

Modifier and Type	Method and Description
static Shell	Shell.getCygwinShell(java.lang.String binary) a wrapper around the cygwin shell
static Shell	Shell.getNativeShell() a wrapper for the os' native shell

Uses of Shell in net.sf.tweety.logics.fol.reasoner

Fields in net.sf.tweety.logics.fol.reasoner declared as Shell

Modifier and Type	Field and Description
private Shell	EFOLReasoner.bash Shell to run EProver
private Shell	SpassFolReasoner.bash Shell to run SPASS.
private Shell	Prover9FolReasoner.bash Shell to run Prover9

Constructors in net.sf.tweety.logics.fol.reasoner with parameters of type Shell

Constructor and Description
EFOLReasoner(java.lang.String binaryLocation, Shell bash) Constructs a new instance pointing to a specific EProver.
Prover9FolReasoner(java.lang.String binaryLocation, Shell bash) Constructs a new instance pointing to a specific Prover9.
SpassFolReasoner(java.lang.String binaryLocation, Shell bash) Constructs a new instance pointing to a specific SPASS Prover.

Uses of Shell in net.sf.tweety.logics.ml.reasoner

Fields in net.sf.tweety.logics.ml.reasoner declared as Shell

Modifier and Type	Field and Description
private Shell	SPASSModalReasoner.bash Shell to run SPASS.
private Shell	MleanCoPReasoner.bash Shell to run MleanCoP.

Constructors in net.sf.tweety.logics.ml.reasoner with parameters of type Shell

Constructor and Description
MleanCoPReasoner(java.lang.String location, Shell bash) Constructs a new instance pointing to a specific MleanCoProver.
SPASSModalReasoner(java.lang.String binaryLocation, Shell bash) Constructs a new instance pointing to a specific SPASS Prover.