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
net.sf.tweety.lp.asp.reasoner

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

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

Modifier and Type	Field	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	Description
private Shell	ProboReasoner.bash	Which shell to use.

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

Constructor	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	Description
class	CygwinShell	Cygwin shell.
class	NativeShell	Default shell

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

Modifier and Type	Field	Description
private static Shell	Shell.nat

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

Modifier and Type	Method	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	Description
private Shell	EFOLReasoner.bash	Shell to run EProver
private Shell	Prover9FolReasoner.bash	Shell to run Prover9
private Shell	SpassFolReasoner.bash	Shell to run SPASS.

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

Constructor	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	Description
private Shell	MleanCoPReasoner.bash	Shell to run MleanCoP.
private Shell	SPASSMlReasoner.bash	Shell to run SPASS.

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

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

Uses of Shell in net.sf.tweety.lp.asp.reasoner

Fields in net.sf.tweety.lp.asp.reasoner declared as Shell

Modifier and Type	Field	Description
private Shell	ClingoSolver.bash	Shell to run Clingo
private Shell	DLVSolver.bash	Shell to run DLV

Constructors in net.sf.tweety.lp.asp.reasoner with parameters of type Shell

Constructor	Description
ClingoSolver(java.lang.String path2clingo, Shell bash)	Constructs a new instance pointing to a specific Clingo solver.
DLVSolver(java.lang.String pathToDLV, Shell bash)	Constructs a new instance pointing to a specific DLV solver.