org.semanticweb.triple.language
Class Implies

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

public class Implies

extends BinaryFormula

-> formula.

Version:

Author:

Michael Sintek

Constructor Summary

Implies()

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

Implies

public Implies()

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