org.semanticweb.triple.language
Class UnaryFormula

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

Direct Known Subclasses:

Negation

public abstract class UnaryFormula

extends Formula

Constructor Summary

UnaryFormula()

Method Summary

Formula	getFormula()
void	putFormula(Formula formula)

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

toGLP

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

UnaryFormula

public UnaryFormula()

Method Detail

putFormula

public void putFormula(Formula formula)

getFormula

public Formula getFormula()