org.semanticweb.triple.language
Class ImpliedBy

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

public class ImpliedBy

extends BinaryFormula

<- formula.

Version:

Author:

Michael Sintek

Constructor Summary

ImpliedBy()

Method Summary

GLogicFormula	toGLP(GLPTerm model)
java.lang.String	toString(Syntax syntax)

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

getFirstFormula, getSecondFormula, putFirstFormula, putSecondFormula

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

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

Methods inherited from class java.lang.Object

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

Constructor Detail

ImpliedBy

public ImpliedBy()

Method Detail

toString

public java.lang.String toString(Syntax syntax)

Specified by:

toString in class TripleExpression

toGLP

public GLogicFormula toGLP(GLPTerm model)

Specified by:

toGLP in class Formula