Package | Description |
---|---|
net.sf.tweety.arg.dung | |
net.sf.tweety.arg.dung.prover | |
net.sf.tweety.commons.util | |
net.sf.tweety.logics.fol.prover |
Modifier and Type | Field and Description |
---|---|
(package private) static Shell |
ProboTest.shell |
Modifier and Type | Field and Description |
---|---|
private Shell |
ProboSolver.bash |
Constructor and Description |
---|
ProboSolver(java.lang.String path_to_exec,
Shell bash)
Constructs a new instance of ProboSolver
|
Modifier and Type | Class and Description |
---|---|
class |
CygwinShell
Cygwin shell.
|
class |
NativeShell
Default shell
|
Modifier and Type | Field and Description |
---|---|
private static Shell |
Shell.nat |
Modifier and Type | Method and 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
|
Modifier and Type | Field and Description |
---|---|
private Shell |
Prover9.bash
Shell to run prover9
|
private Shell |
EProver.bash
Shell to run eprover
|
Constructor and Description |
---|
EProver(java.lang.String binaryLocation,
Shell bash)
Constructs a new instance pointing to a specific eprover
|
Prover9(java.lang.String binaryLocation,
Shell bash)
Constructs a new instance pointing to a specific prover 9
|