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

Packages that use Shell

Package	Description
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.logics.qbf.reasoner
net.sf.tweety.lp.asp.reasoner

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

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

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

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

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.logics.qbf.reasoner

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

Constructor	Description
CadetSolver(java.lang.String binaryLocation, Shell bash)	Constructs a new instance pointing to a specific CadetSolver.
CaqeSolver(java.lang.String binaryLocation, Shell bash)	Constructs a new instance pointing to a specific CaqeSolver.
GhostQSolver(java.lang.String binaryLocation, Shell bash)	Constructs a new instance pointing to a specific GhostQSolver.
QuteSolver(java.lang.String binaryLocation, Shell bash)	Constructs a new instance pointing to a specific QuteSolver.

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

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.