Uses of Class
org.tweetyproject.commons.util.Shell

Packages that use Shell

Package	Description
org.tweetyproject.arg.dung.reasoner
org.tweetyproject.commons.util
org.tweetyproject.logics.fol.reasoner
org.tweetyproject.logics.ml.reasoner
org.tweetyproject.logics.qbf.reasoner
org.tweetyproject.lp.asp.grounder
org.tweetyproject.lp.asp.reasoner

Uses of Shell in org.tweetyproject.arg.dung.reasoner

Constructors in org.tweetyproject.arg.dung.reasoner with parameters of type Shell

Modifier	Constructor	Description
	ProboI23Reasoner(String path_to_exec, Semantics semantics, Shell bash)	Constructs a new instance of ProboI23Reasoner
	ProboReasoner(String path_to_exec, Semantics semantics, Shell bash)	Constructs a new instance of ProboReasoner

Uses of Shell in org.tweetyproject.commons.util

Subclasses of Shell in org.tweetyproject.commons.util

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

Methods in org.tweetyproject.commons.util that return Shell

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

Uses of Shell in org.tweetyproject.logics.fol.reasoner

Constructors in org.tweetyproject.logics.fol.reasoner with parameters of type Shell

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

Uses of Shell in org.tweetyproject.logics.ml.reasoner

Constructors in org.tweetyproject.logics.ml.reasoner with parameters of type Shell

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

Uses of Shell in org.tweetyproject.logics.qbf.reasoner

Constructors in org.tweetyproject.logics.qbf.reasoner with parameters of type Shell

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

Uses of Shell in org.tweetyproject.lp.asp.grounder

Constructors in org.tweetyproject.lp.asp.grounder with parameters of type Shell

Modifier	Constructor	Description
	GringoGrounder(String path, Shell shell)

Uses of Shell in org.tweetyproject.lp.asp.reasoner

Constructors in org.tweetyproject.lp.asp.reasoner with parameters of type Shell

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