org.semanticweb.triple.language
Class Clause

java.lang.Object
  org.semanticweb.triple.language.TripleExpression
      org.semanticweb.triple.language.Clause

public class Clause

extends TripleExpression

Constructor Summary

Clause()

Method Summary

Formula	getBody()
Formula	getHead()
Term	getModel()
java.util.ArrayList	getModelVariables()
java.util.ArrayList	getVariables()
void	putBody(Formula body)
void	putHead(Formula head)
void	putModel(Term model)
void	putModelVariables(Term variable)
void	putVariables(Term variable)
GLPClause	toGLP() Transformation to a general logic program
java.lang.String	toString(Syntax syntax)
java.lang.String	toString(Syntax syntax, boolean withModel)
java.lang.String	toTripleString(boolean withModel)

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

appendModel, appendModel, toPrologString, toString, toTripleString

Methods inherited from class java.lang.Object

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

Constructor Detail

Clause

public Clause()

Method Detail

putVariables

public void putVariables(Term variable)

putHead

public void putHead(Formula head)

putBody

public void putBody(Formula body)

putModelVariables

public void putModelVariables(Term variable)

putModel

public void putModel(Term model)

Overrides:

putModel in class TripleExpression

getVariables

public java.util.ArrayList getVariables()

getHead

public Formula getHead()

getBody

public Formula getBody()

getModelVariables

public java.util.ArrayList getModelVariables()

getModel

public Term getModel()

Overrides:

getModel in class TripleExpression

toTripleString

public java.lang.String toTripleString(boolean withModel)

toString

public java.lang.String toString(Syntax syntax)

Specified by:

toString in class TripleExpression

toString

public java.lang.String toString(Syntax syntax,
                                 boolean withModel)

toGLP

public GLPClause toGLP()

Transformation to a general logic program