org.semanticweb.triple.language
Class And

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

public class And

extends BinaryFormula

Constructor Summary

And()

Method Summary

static GLogicFormula	makeGLPConjunction(java.util.ArrayList conjucts)
static GLogicFormula	makeGLPConjunction(java.util.ArrayList conjuncts, GLogicFormula conjunct)
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

And

public And()

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

makeGLPConjunction

public static GLogicFormula makeGLPConjunction(java.util.ArrayList conjucts)

makeGLPConjunction

public static GLogicFormula makeGLPConjunction(java.util.ArrayList conjuncts,
                                               GLogicFormula conjunct)