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

Packages that use Shell

Package	Description
net.sf.tweety.commons.util
net.sf.tweety.logics.fol.prover

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.prover

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

Modifier and Type	Field and Description
private Shell	Prover9.bash Shell to run prover9
private Shell	EProver.bash Shell to run eprover

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

Constructor and Description
EProver(java.lang.String binaryLocation, Shell bash) Constructs a new instance pointing to a specific eprover
Prover9(java.lang.String binaryLocation, Shell bash) Constructs a new instance pointing to a specific prover 9