org.semanticweb.triple.language
Class Formula

java.lang.Object
  org.semanticweb.triple.language.TripleExpression
      org.semanticweb.triple.language.Formula

Direct Known Subclasses:

Atom, BinaryFormula, QuantifierFormula, UnaryFormula

public abstract class Formula

extends TripleExpression

Constructor Summary

Formula()

Method Summary

abstract GLogicFormula

toGLP(GLPTerm model)

Methods inherited from class org.semanticweb.triple.language.TripleExpression

appendModel, appendModel, getModel, putModel, toPrologString, toString, toString, toTripleString

Methods inherited from class java.lang.Object

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

Constructor Detail

Formula

public Formula()

Method Detail

toGLP

public abstract GLogicFormula toGLP(GLPTerm model)