|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.udo.cs.ie.cowbots.logic.solver.DLV
public class DLV
the dlv wrapper class, based on the one found in KiMAS - Knowledge in Multi Agent Systems.
Nested Class Summary | |
---|---|
(package private) class |
DLV.ASWeight
utility class, used by the parser to store answer set weights |
Field Summary | |
---|---|
(package private) static java.util.concurrent.atomic.AtomicInteger |
callCounter
|
protected int |
cpuCount
|
protected java.lang.String |
logpath
|
protected boolean |
osLinux
|
protected java.lang.String |
path2dlv
|
protected boolean |
printTimings
|
protected static java.util.concurrent.Semaphore |
sem
|
protected boolean |
useSemaphore
|
Constructor Summary | |
---|---|
DLV(java.lang.String path)
|
Method Summary | |
---|---|
private java.lang.String |
computeDirection(ELPLiteral lit)
|
java.util.List<AnswerSet> |
computeModels(ELP program,
int maxmodels)
|
java.util.List<AnswerSet> |
computeModels(SourceList input,
java.lang.String options,
int models)
|
java.util.Set<ELPLiteral> |
computePlans(int maxint,
TransitionSystem ts,
java.lang.String savedAs)
method used to compute plans from k planning language |
protected java.lang.String |
getRunCmdPrefix()
auxiliary function that returns an empty string or a command for a task that runs dlv. on linux, taskset is choosen by default. |
protected java.util.Set<ELPLiteral> |
parseModel(java.lang.String s)
simple parser function, extracts all literals from an answer set provided by dlv. if the empty answer set is found, an empty Set |
protected DLV.ASWeight |
parseWeight(java.lang.String s)
|
protected java.util.List<java.lang.String> |
runDLVEx(java.lang.String cmdln,
int maxAS,
SourceList programs)
main method used for running a answer set solver (external utility program) and parsing its output. |
protected java.util.List<java.lang.String> |
runDLVK(java.lang.String cmdln)
|
void |
setLogPath(java.lang.String path)
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
protected java.lang.String path2dlv
protected java.lang.String logpath
protected boolean osLinux
static java.util.concurrent.atomic.AtomicInteger callCounter
protected int cpuCount
protected boolean printTimings
protected boolean useSemaphore
protected static java.util.concurrent.Semaphore sem
Constructor Detail |
---|
public DLV(java.lang.String path)
Method Detail |
---|
public void setLogPath(java.lang.String path)
public java.util.List<AnswerSet> computeModels(ELP program, int maxmodels)
public java.util.List<AnswerSet> computeModels(SourceList input, java.lang.String options, int models)
protected java.lang.String getRunCmdPrefix()
protected java.util.List<java.lang.String> runDLVEx(java.lang.String cmdln, int maxAS, SourceList programs)
cmdln
- command to run dlvmaxAS
- maximum number of answer setsprog
- program to pass via stdin (-- option)protected java.util.Set<ELPLiteral> parseModel(java.lang.String s)
s
- answer set from dlv
protected DLV.ASWeight parseWeight(java.lang.String s)
public java.util.Set<ELPLiteral> computePlans(int maxint, TransitionSystem ts, java.lang.String savedAs)
ts
- TODOsavedAs
- TODOprivate java.lang.String computeDirection(ELPLiteral lit)
protected java.util.List<java.lang.String> runDLVK(java.lang.String cmdln)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |