org.semanticweb.triple.language
Class Structure

java.lang.Object
  org.semanticweb.triple.language.TripleExpression
      org.semanticweb.triple.language.Term
          org.semanticweb.triple.language.Structure

public class Structure

extends Term

Constructor Summary

Structure()

Method Summary

java.util.ArrayList	getArgs()
java.lang.String	getFunctor()
void	putArgs(java.lang.String name)
void	putArgs(Term term)
void	putFunctor(java.lang.String functor)
GLPTerm	toGLP(GLPTerm glpModel, java.util.ArrayList glpFormulae)
java.lang.String	toString(Syntax syntax)

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

Structure

public Structure()

Method Detail

putFunctor

public void putFunctor(java.lang.String functor)

putArgs

public void putArgs(Term term)

putArgs

public void putArgs(java.lang.String name)

getFunctor

public java.lang.String getFunctor()

getArgs

public java.util.ArrayList getArgs()

toString

public java.lang.String toString(Syntax syntax)

Specified by:

toString in class TripleExpression

toGLP

public GLPTerm toGLP(GLPTerm glpModel,
                     java.util.ArrayList glpFormulae)

Specified by:

toGLP in class Term