Package edu.tufts.hrilab.belief.converter

Class ConvertToClingo

java.lang.Object

edu.tufts.hrilab.belief.converter.ConvertToClingo

public class ConvertToClingo
extends Object

Constructor Summary

Constructors

Constructor	Description
ConvertToClingo()

Method Summary

Modifier and Type	Method	Description
String	convertRule(Term head, List<Term> body)
String	convertSymbol(Symbol symbol)
String	convertTerm(Term term)
String	convertVariable(Variable var)
String	getTypeOfVariable(Variable var)

Methods inherited from class java.lang.Object

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

Constructor Details

ConvertToClingo

public ConvertToClingo()

Method Details

convertRule

public String convertRule(Term head,
 List<Term> body)

convertTerm

public String convertTerm(Term term)

convertVariable

public String convertVariable(Variable var)

getTypeOfVariable

public String getTypeOfVariable(Variable var)

convertSymbol

public String convertSymbol(Symbol symbol)