edu.udo.cs.ie.cowbots.logic.solver
Class Clingo

Package class diagram package Clingo
java.lang.Object
  extended by edu.udo.cs.ie.cowbots.logic.solver.Clingo

public class Clingo
extends java.lang.Object

wrapper for the clingo asp solver. clingo is clasp with gringo in one binary.


Nested Class Summary
(package private)  class Clingo.ReadThread
          auxiliary class to read clingos stderr, stdout streams in parallel.
 
Field Summary
protected  java.lang.String path2clingo
           
 
Constructor Summary
Clingo(java.lang.String path2clingo)
          instantiates a new clingo wrapper.
 
Method Summary
 java.util.List<AnswerSet> computeModels(ELP program, int maxmodels)
          this method computes models for a given program
 java.util.List<AnswerSet> computeModels(SourceList input, java.lang.String options, int models)
          this method computes models for a given program
protected  java.util.Set<ELPLiteral> parseModel(java.lang.String s)
          simple parser function, extracts all literals from an answer set provided by clasp. if the empty answer set is found, an empty Set is returned.
protected  java.util.List<java.lang.String> runClingo(java.lang.String cmdln, int models, SourceList programs)
          this method executes clingo
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

path2clingo

protected java.lang.String path2clingo
Constructor Detail

Clingo

public Clingo(java.lang.String path2clingo)
instantiates a new clingo wrapper.

Parameters:
path2clingo - path to clingo binary
Method Detail

computeModels

public java.util.List<AnswerSet> computeModels(ELP program,
                                               int maxmodels)
this method computes models for a given program

Parameters:
program - logical program input
maxmodels - number of models to compute
Returns:
0 to maxmodels answer sets of input program

computeModels

public java.util.List<AnswerSet> computeModels(SourceList input,
                                               java.lang.String options,
                                               int models)
this method computes models for a given program

Parameters:
input - logical program input source list
options - command line options
maxmodels - number of models to compute
Returns:
0 to maxmodels answer sets of input program

runClingo

protected java.util.List<java.lang.String> runClingo(java.lang.String cmdln,
                                                     int models,
                                                     SourceList programs)
this method executes clingo

Parameters:
cmdln - command line options
models - number of models
programs - program sources
Returns:

parseModel

protected java.util.Set<ELPLiteral> parseModel(java.lang.String s)
simple parser function, extracts all literals from an answer set provided by clasp. if the empty answer set is found, an empty Set is returned.

Parameters:
s - answer set from clasp
Returns:
set of literals