Uses of Class
net.sf.tweety.commons.util.Shell
-
-
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 shellFields 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 shellstatic 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 EProverprivate Shell
Prover9FolReasoner. bash
Shell to run Prover9private 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 Clingoprivate Shell
DLVSolver. bash
Shell to run DLVConstructors 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.
-