org.semanticweb.triple.parser
Class LSymbol

java.lang.Object
  org.semanticweb.triple.parser.LTerm
      org.semanticweb.triple.parser.LSymbol

public class LSymbol

extends LTerm

A symbol is virtually everything: FORALL, <-, [], a and b in X[a->b], etc. How are variables detected? -- AH

Constructor Summary

LSymbol()

LSymbol(java.lang.String symbol)

Method Summary

boolean	equals(java.lang.Object obj) only works for symbol != null
java.lang.String	getSymbol()
LTerm	normalize(java.util.HashMap abbreviations) Normalize variables and abbreviations
void	putSymbol(java.lang.String symbol)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

LSymbol

public LSymbol()

LSymbol

public LSymbol(java.lang.String symbol)

Method Detail

putSymbol

public void putSymbol(java.lang.String symbol)

getSymbol

public java.lang.String getSymbol()

toString

public java.lang.String toString()

equals

public boolean equals(java.lang.Object obj)

only works for symbol != null

normalize

public LTerm normalize(java.util.HashMap abbreviations)

Description copied from class: LTerm

Normalize variables and abbreviations

Overrides:

normalize in class LTerm