Uses of Class
org.tweetyproject.commons.util.Shell
Package
Description
-
Uses of Shell in org.tweetyproject.arg.dung.reasoner
ModifierConstructorDescriptionProboReasoner(String path_to_exec, Semantics semantics, Shell bash)
Constructs a new instance of ProboReasoner -
Uses of Shell in org.tweetyproject.commons.util
Modifier and TypeMethodDescriptionstatic Shell
Shell.getCygwinShell(String binary)
a wrapper around the cygwin shellstatic Shell
Shell.getNativeShell()
a wrapper for the os' native shell -
Uses of Shell in org.tweetyproject.logics.fol.reasoner
ModifierConstructorDescriptionEFOLReasoner(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
ModifierConstructorDescriptionMleanCoPReasoner(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
ModifierConstructorDescriptionCadetSolver(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
-
Uses of Shell in org.tweetyproject.lp.asp.reasoner