org.semanticweb.triple.language
Class BinaryFormula

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

Direct Known Subclasses:

And, Equiv, ImpliedBy, Implies, Or

public abstract class BinaryFormula

extends Formula

Constructor Summary

BinaryFormula()

Method Summary

Formula	getFirstFormula()
Formula	getSecondFormula()
void	putFirstFormula(Formula formula)
void	putSecondFormula(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

BinaryFormula

public BinaryFormula()

Method Detail

putFirstFormula

public void putFirstFormula(Formula formula)

putSecondFormula

public void putSecondFormula(Formula formula)

getFirstFormula

public Formula getFirstFormula()

getSecondFormula

public Formula getSecondFormula()