Package edu.tufts.hrilab.belief.provers.clingo

Class ClingoWrapper

java.lang.Object

edu.tufts.hrilab.belief.provers.clingo.ClingoWrapper

public class ClingoWrapper
extends Object

Constructor Summary

Constructors

Constructor	Description
ClingoWrapper()	since it writes to file this class is not thread safe

Method Summary

Modifier and Type	Method	Description
boolean	isSatisfiable(String theory)
List<Map<Variable,Symbol>>	parseModels(String theory, List<Variable> args, String pred)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

ClingoWrapper

public ClingoWrapper()

since it writes to file this class is not thread safe

Method Details

isSatisfiable

public boolean isSatisfiable(String theory)

parseModels

public List<Map<Variable,Symbol>> parseModels(String theory,
 List<Variable> args,
 String pred)