diff --git a/CompilerGeneration.jrag b/CompilerGeneration.jrag
index 941619e76863067a6e27f24fe0ff830d073e786a..8d4047d85e8778edd2e481f15e3beaea2c1f1d9e 100644
--- a/CompilerGeneration.jrag
+++ b/CompilerGeneration.jrag
@@ -129,15 +129,15 @@ aspect GenPrettyPrinter {
public void OwlClassDecl.genPrettyPrinter(String ind, PrintStream pStream) {
pStream.print(" public void "+name());
pStream.println(".prettyPrint(String indent, PrintStream pStream) {");
- pStream.print(" System.out.print(indent+\"<"+name());
+ pStream.print(" System.out.println(indent+\"<"+name());
for (int i=0; i<getNumAttribute(); i++) {
getAttribute(i).genPrettyPrinter(ind,pStream);
}
- pStream.println(" >\");");
+ pStream.println(">\");");
for (int i=0; i<getNumElement(); i++) {
getElement(i).genPrettyPrinter(ind,pStream);
}
- pStream.println(" System.out.print(indent+\"</"+name()+">\");");
+ pStream.println(" System.out.println(indent+\"</"+name()+">\");");
pStream.println("}\n");
}
}
@@ -161,7 +161,13 @@ aspect GenRewrites {
public void OwlClassDecl.genRewrites(PrintStream pStream) {
String ind = " ";
-
+ pStream.println(ind(1)+"rewrite ComplexElement {");
+ pStream.println(ind(2)+"when (getOwlIdentifier().getIDENTIFIER().equals(\""+
+ name()+"\"))");
+ pStream.println(ind(3)+"to "+name()+" {");
+ pStream.println(ind(3)+"return new "+name()+"();");
+ pStream.println(ind(2)+"}");
+ pStream.println(ind(1)+"}");
}
}
diff --git a/Misc.jrag b/Misc.jrag
index a9d0f4ae195a5fbb82320ef6614f41a6d24344c8..a10da15cac0925fe84e720fe2d5923ca212c8e4d 100644
--- a/Misc.jrag
+++ b/Misc.jrag
@@ -3,4 +3,12 @@
aspect Misc {
syn Start ASTNode.goStart() = getParent().goStart();
eq Start.goStart() = this;
+
+ public String ASTNode.ind(int n) {
+ StringBuffer s = new StringBuffer();
+ for (int i=0; i<n; i++) {
+ s.append(" ");
+ }
+ return s.toString();
+ }
}
diff --git a/javadoc/AST/ASTNode.html b/javadoc/AST/ASTNode.html
index 6eb34613db43db6f5a98d009fe6d7b502c5615a9..913ed1abefc66dd8bc5d8a6ec0f96c4e805adefa 100644
--- a/javadoc/AST/ASTNode.html
+++ b/javadoc/AST/ASTNode.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:03 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:34 CET 2006 -->
<TITLE>
ASTNode
</TITLE>
@@ -327,7 +327,16 @@ java.lang.Object
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> void</CODE></FONT></TD>
-<TD><CODE><B><A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A></B>(java.io.PrintStream pStream)</CODE>
+<TD><CODE><B><A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A></B>(java.lang.String ind,
+ java.io.PrintStream pStream)</CODE>
+
+<BR>
+ </TD>
+</TR>
+<TR BGCOLOR="white" CLASS="TableRowColor">
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
+<CODE> void</CODE></FONT></TD>
+<TD><CODE><B><A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A></B>(java.io.PrintStream pStream)</CODE>
<BR>
</TD>
@@ -369,6 +378,31 @@ java.lang.Object
<CODE> <A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></CODE></FONT></TD>
<TD><CODE><B><A HREF="../AST/ASTNode.html#getParent()">getParent</A></B>()</CODE>
+<BR>
+ </TD>
+</TR>
+<TR BGCOLOR="white" CLASS="TableRowColor">
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
+<CODE> java.util.ArrayList</CODE></FONT></TD>
+<TD><CODE><B><A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A></B>(<A HREF="../AST/OwlClassDecl.html" title="class in AST">OwlClassDecl</A> klass,
+ java.util.ArrayList l)</CODE>
+
+<BR>
+ </TD>
+</TR>
+<TR BGCOLOR="white" CLASS="TableRowColor">
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
+<CODE> <A HREF="../AST/Start.html" title="class in AST">Start</A></CODE></FONT></TD>
+<TD><CODE><B><A HREF="../AST/ASTNode.html#goStart()">goStart</A></B>()</CODE>
+
+<BR>
+ </TD>
+</TR>
+<TR BGCOLOR="white" CLASS="TableRowColor">
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
+<CODE> java.lang.String</CODE></FONT></TD>
+<TD><CODE><B><A HREF="../AST/ASTNode.html#ind(int)">ind</A></B>(int n)</CODE>
+
<BR>
</TD>
</TR>
@@ -906,10 +940,68 @@ public boolean <B>mayHaveRewrite</B>()</PRE>
</DL>
<HR>
-<A NAME="genJavaCC(java.io.PrintStream)"><!-- --></A><H3>
-genJavaCC</H3>
+<A NAME="genPrettyPrinter(java.lang.String, java.io.PrintStream)"><!-- --></A><H3>
+genPrettyPrinter</H3>
+<PRE>
+public void <B>genPrettyPrinter</B>(java.lang.String ind,
+ java.io.PrintStream pStream)</PRE>
+<DL>
+<DD><DL>
+</DL>
+</DD>
+<DD><DL>
+</DL>
+</DD>
+</DL>
+<HR>
+
+<A NAME="genRewrites(java.io.PrintStream)"><!-- --></A><H3>
+genRewrites</H3>
+<PRE>
+public void <B>genRewrites</B>(java.io.PrintStream pStream)</PRE>
+<DL>
+<DD><DL>
+</DL>
+</DD>
+<DD><DL>
+</DL>
+</DD>
+</DL>
+<HR>
+
+<A NAME="ind(int)"><!-- --></A><H3>
+ind</H3>
+<PRE>
+public java.lang.String <B>ind</B>(int n)</PRE>
+<DL>
+<DD><DL>
+</DL>
+</DD>
+<DD><DL>
+</DL>
+</DD>
+</DL>
+<HR>
+
+<A NAME="goStart()"><!-- --></A><H3>
+goStart</H3>
+<PRE>
+public <A HREF="../AST/Start.html" title="class in AST">Start</A> <B>goStart</B>()</PRE>
+<DL>
+<DD><DL>
+</DL>
+</DD>
+<DD><DL>
+</DL>
+</DD>
+</DL>
+<HR>
+
+<A NAME="getSubClasses(AST.OwlClassDecl, java.util.ArrayList)"><!-- --></A><H3>
+getSubClasses</H3>
<PRE>
-public void <B>genJavaCC</B>(java.io.PrintStream pStream)</PRE>
+public java.util.ArrayList <B>getSubClasses</B>(<A HREF="../AST/OwlClassDecl.html" title="class in AST">OwlClassDecl</A> klass,
+ java.util.ArrayList l)</PRE>
<DL>
<DD><DL>
</DL>
diff --git a/javadoc/AST/Attribute.html b/javadoc/AST/Attribute.html
index 42d54312c7c7e255c276a52082756a2fa8c5e1ad..339adf6bf338b438282c89fdfffe72b10ea462cf 100644
--- a/javadoc/AST/Attribute.html
+++ b/javadoc/AST/Attribute.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:03 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:34 CET 2006 -->
<TITLE>
Attribute
</TITLE>
@@ -286,7 +286,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#copy()">copy</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#fullCopy()">fullCopy</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#copy()">copy</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#fullCopy()">fullCopy</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/ComplexElement.html b/javadoc/AST/ComplexElement.html
index 21c2e6196ba556ea9da68b48b028af23d51af788..554f5d8a828ee00c2f7b7b5d6d12b7779c0378c9 100644
--- a/javadoc/AST/ComplexElement.html
+++ b/javadoc/AST/ComplexElement.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:03 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:34 CET 2006 -->
<TITLE>
ComplexElement
</TITLE>
@@ -387,7 +387,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#copy()">copy</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#fullCopy()">fullCopy</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#copy()">copy</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#fullCopy()">fullCopy</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/Element.html b/javadoc/AST/Element.html
index 62b11cd972dd7e5cb91234077fe1346b30eda803..b49ce46e490d8dff1e235caff3c7120135f0605c 100644
--- a/javadoc/AST/Element.html
+++ b/javadoc/AST/Element.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:04 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:34 CET 2006 -->
<TITLE>
Element
</TITLE>
@@ -272,7 +272,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#copy()">copy</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#fullCopy()">fullCopy</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#copy()">copy</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#fullCopy()">fullCopy</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/FloatElement.html b/javadoc/AST/FloatElement.html
index 59d0c9a94e4cc47536d3416a15275050c1174973..d3f48897e058d79ed13054651582818680c659e8 100644
--- a/javadoc/AST/FloatElement.html
+++ b/javadoc/AST/FloatElement.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:04 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:34 CET 2006 -->
<TITLE>
FloatElement
</TITLE>
@@ -294,7 +294,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/IntElement.html b/javadoc/AST/IntElement.html
index bf5229e8a647f3c2ecefac7c42df72d39ddb05c7..5e9bec555279fb43899f87ac301b0b73c370d1ba 100644
--- a/javadoc/AST/IntElement.html
+++ b/javadoc/AST/IntElement.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:04 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:35 CET 2006 -->
<TITLE>
IntElement
</TITLE>
@@ -294,7 +294,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/JavaCharStream.html b/javadoc/AST/JavaCharStream.html
index c71f70cf8b8978ed32581465ae19b3932d4d906a..fc0d26332b9fc6fa2ba41b8d6d7fcddae1fe52c3 100644
--- a/javadoc/AST/JavaCharStream.html
+++ b/javadoc/AST/JavaCharStream.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:04 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:35 CET 2006 -->
<TITLE>
JavaCharStream
</TITLE>
diff --git a/javadoc/AST/List.html b/javadoc/AST/List.html
index 12cc05529700a54d0a99dd3194c0577a2c935b50..d1601a33f91a01450ff0b35dcb18729dd23e9da8 100644
--- a/javadoc/AST/List.html
+++ b/javadoc/AST/List.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:04 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:35 CET 2006 -->
<TITLE>
List
</TITLE>
@@ -261,7 +261,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getNumChild()">getNumChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getNumChild()">getNumChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/Node.html b/javadoc/AST/Node.html
index d403b07b7909325fb032d5a90c082a156774740f..b734b645f0a982e14fe2b9e327cc0393e46c6985 100644
--- a/javadoc/AST/Node.html
+++ b/javadoc/AST/Node.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:04 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:35 CET 2006 -->
<TITLE>
Node
</TITLE>
diff --git a/javadoc/AST/OClass.html b/javadoc/AST/OClass.html
index b3d1a4ab54aca08af454d7ed5d295240248831f5..de364158141218241e6c8047ebbc9a0d28f82b6e 100644
--- a/javadoc/AST/OClass.html
+++ b/javadoc/AST/OClass.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:04 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:35 CET 2006 -->
<TITLE>
OClass
</TITLE>
@@ -158,8 +158,9 @@ java.lang.Object
</TD>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><B><A HREF="../AST/OClass.html#OClass(AST.List, AST.List)">OClass</A></B>(<A HREF="../AST/List.html" title="class in AST">List</A> p0,
- <A HREF="../AST/List.html" title="class in AST">List</A> p1)</CODE>
+<TD><CODE><B><A HREF="../AST/OClass.html#OClass(AST.List, AST.List, java.lang.String)">OClass</A></B>(<A HREF="../AST/List.html" title="class in AST">List</A> p0,
+ <A HREF="../AST/List.html" title="class in AST">List</A> p1,
+ java.lang.String p2)</CODE>
<BR>
</TD>
@@ -276,6 +277,14 @@ java.lang.Object
<CODE> <A HREF="../AST/List.html" title="class in AST">List</A></CODE></FONT></TD>
<TD><CODE><B><A HREF="../AST/OClass.html#getElementListNoTransform()">getElementListNoTransform</A></B>()</CODE>
+<BR>
+ </TD>
+</TR>
+<TR BGCOLOR="white" CLASS="TableRowColor">
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
+<CODE> java.lang.String</CODE></FONT></TD>
+<TD><CODE><B><A HREF="../AST/OClass.html#getId()">getId</A></B>()</CODE>
+
<BR>
</TD>
</TR>
@@ -300,6 +309,14 @@ java.lang.Object
<CODE> int</CODE></FONT></TD>
<TD><CODE><B><A HREF="../AST/OClass.html#getNumElement()">getNumElement</A></B>()</CODE>
+<BR>
+ </TD>
+</TR>
+<TR BGCOLOR="white" CLASS="TableRowColor">
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
+<CODE>abstract java.util.ArrayList</CODE></FONT></TD>
+<TD><CODE><B><A HREF="../AST/OClass.html#getSubClasses()">getSubClasses</A></B>()</CODE>
+
<BR>
</TD>
</TR>
@@ -335,6 +352,14 @@ java.lang.Object
<CODE> boolean</CODE></FONT></TD>
<TD><CODE><B><A HREF="../AST/OClass.html#mayHaveRewrite()">mayHaveRewrite</A></B>()</CODE>
+<BR>
+ </TD>
+</TR>
+<TR BGCOLOR="white" CLASS="TableRowColor">
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
+<CODE> java.lang.String</CODE></FONT></TD>
+<TD><CODE><B><A HREF="../AST/OClass.html#name()">name</A></B>()</CODE>
+
<BR>
</TD>
</TR>
@@ -380,14 +405,13 @@ java.lang.Object
<BR>
</TD>
</TR>
-</TABLE>
- <A NAME="methods_inherited_from_class_AST.ComplexElement"><!-- --></A>
-<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
-<TR BGCOLOR="#EEEEFF" CLASS="TableSubHeadingColor">
-<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ComplexElement.html" title="class in AST">ComplexElement</A></B></TH>
-</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ComplexElement.html#getId()">getId</A></CODE></TD>
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
+<CODE> void</CODE></FONT></TD>
+<TD><CODE><B><A HREF="../AST/OClass.html#setId(java.lang.String)">setId</A></B>(java.lang.String value)</CODE>
+
+<BR>
+ </TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.Element"><!-- --></A>
@@ -405,7 +429,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#copy()">copy</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#fullCopy()">fullCopy</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#copy()">copy</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#fullCopy()">fullCopy</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
@@ -464,11 +488,12 @@ public <B>OClass</B>()</PRE>
</DL>
<HR>
-<A NAME="OClass(AST.List, AST.List)"><!-- --></A><H3>
+<A NAME="OClass(AST.List, AST.List, java.lang.String)"><!-- --></A><H3>
OClass</H3>
<PRE>
public <B>OClass</B>(<A HREF="../AST/List.html" title="class in AST">List</A> p0,
- <A HREF="../AST/List.html" title="class in AST">List</A> p1)</PRE>
+ <A HREF="../AST/List.html" title="class in AST">List</A> p1,
+ java.lang.String p2)</PRE>
<DL>
</DL>
@@ -792,6 +817,34 @@ public <A HREF="../AST/List.html" title="class in AST">List</A> <B>getElementLis
</DL>
<HR>
+<A NAME="setId(java.lang.String)"><!-- --></A><H3>
+setId</H3>
+<PRE>
+public void <B>setId</B>(java.lang.String value)</PRE>
+<DL>
+<DD><DL>
+</DL>
+</DD>
+<DD><DL>
+</DL>
+</DD>
+</DL>
+<HR>
+
+<A NAME="getId()"><!-- --></A><H3>
+getId</H3>
+<PRE>
+public java.lang.String <B>getId</B>()</PRE>
+<DL>
+<DD><DL>
+<DT><B>Overrides:</B><DD><CODE><A HREF="../AST/ComplexElement.html#getId()">getId</A></CODE> in class <CODE><A HREF="../AST/ComplexElement.html" title="class in AST">ComplexElement</A></CODE></DL>
+</DD>
+<DD><DL>
+</DL>
+</DD>
+</DL>
+<HR>
+
<A NAME="getSuperClass()"><!-- --></A><H3>
getSuperClass</H3>
<PRE>
@@ -820,6 +873,34 @@ public abstract <A HREF="../AST/OwlClassDecl.html" title="class in AST">OwlClass
</DL>
<HR>
+<A NAME="getSubClasses()"><!-- --></A><H3>
+getSubClasses</H3>
+<PRE>
+public abstract java.util.ArrayList <B>getSubClasses</B>()</PRE>
+<DL>
+<DD><DL>
+</DL>
+</DD>
+<DD><DL>
+</DL>
+</DD>
+</DL>
+<HR>
+
+<A NAME="name()"><!-- --></A><H3>
+name</H3>
+<PRE>
+public java.lang.String <B>name</B>()</PRE>
+<DL>
+<DD><DL>
+</DL>
+</DD>
+<DD><DL>
+</DL>
+</DD>
+</DL>
+<HR>
+
<A NAME="rewriteTo()"><!-- --></A><H3>
rewriteTo</H3>
<PRE>
diff --git a/javadoc/AST/Opt.html b/javadoc/AST/Opt.html
index 4653f5ec46f334c470797ef3a30e1a2be00939c9..a2ed2b4a8fb818c92f4662c83b416a81d4901360 100644
--- a/javadoc/AST/Opt.html
+++ b/javadoc/AST/Opt.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:04 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:35 CET 2006 -->
<TITLE>
Opt
</TITLE>
@@ -259,7 +259,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getNumChild()">getNumChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getNumChild()">getNumChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/OwlAllDifferent.html b/javadoc/AST/OwlAllDifferent.html
index 49002d5a54a8ce54fe0346a44901bbcfe6dba9c1..a10319076885fe7ebe869d992627b0caa2923408 100644
--- a/javadoc/AST/OwlAllDifferent.html
+++ b/javadoc/AST/OwlAllDifferent.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:05 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:35 CET 2006 -->
<TITLE>
OwlAllDifferent
</TITLE>
@@ -402,7 +402,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/OwlAllValuesFrom.html b/javadoc/AST/OwlAllValuesFrom.html
index 59c010e6ebdd242a020382f63528682e5285185a..b1a2b8c8ccec522c957fb6f573767de0c2a7a75c 100644
--- a/javadoc/AST/OwlAllValuesFrom.html
+++ b/javadoc/AST/OwlAllValuesFrom.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:05 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:35 CET 2006 -->
<TITLE>
OwlAllValuesFrom
</TITLE>
@@ -403,7 +403,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/OwlCardinality.html b/javadoc/AST/OwlCardinality.html
index 3b6e9afa7ddb39c075c35e05c0cc7414e206dddd..201f106bb09165029fabac9f2d2e380497ffa172 100644
--- a/javadoc/AST/OwlCardinality.html
+++ b/javadoc/AST/OwlCardinality.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:05 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:35 CET 2006 -->
<TITLE>
OwlCardinality
</TITLE>
@@ -402,7 +402,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/OwlClass.html b/javadoc/AST/OwlClass.html
index c99f7019281eb906c8de05dda41c294bbe1cfd5d..8fcc87ef6022ba1e6e7e46d087ca5fb4574bb71c 100644
--- a/javadoc/AST/OwlClass.html
+++ b/javadoc/AST/OwlClass.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:05 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:35 CET 2006 -->
<TITLE>
OwlClass
</TITLE>
@@ -402,7 +402,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/OwlClassDecl.html b/javadoc/AST/OwlClassDecl.html
index cb30cebe5581c594428b8029c4ee46a15565226e..f26f04f6b8c0262fe544ed49ab05bb82cac871e2 100644
--- a/javadoc/AST/OwlClassDecl.html
+++ b/javadoc/AST/OwlClassDecl.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:05 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:35 CET 2006 -->
<TITLE>
OwlClassDecl
</TITLE>
@@ -243,6 +243,23 @@ java.lang.Object
<CODE> <A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></CODE></FONT></TD>
<TD><CODE><B><A HREF="../AST/OwlClassDecl.html#fullCopy()">fullCopy</A></B>()</CODE>
+<BR>
+ </TD>
+</TR>
+<TR BGCOLOR="white" CLASS="TableRowColor">
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
+<CODE> void</CODE></FONT></TD>
+<TD><CODE><B><A HREF="../AST/OwlClassDecl.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A></B>(java.lang.String ind,
+ java.io.PrintStream pStream)</CODE>
+
+<BR>
+ </TD>
+</TR>
+<TR BGCOLOR="white" CLASS="TableRowColor">
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
+<CODE> void</CODE></FONT></TD>
+<TD><CODE><B><A HREF="../AST/OwlClassDecl.html#genRewrites(java.io.PrintStream)">genRewrites</A></B>(java.io.PrintStream pStream)</CODE>
+
<BR>
</TD>
</TR>
@@ -323,6 +340,14 @@ java.lang.Object
<CODE> int</CODE></FONT></TD>
<TD><CODE><B><A HREF="../AST/OwlClassDecl.html#getNumElement()">getNumElement</A></B>()</CODE>
+<BR>
+ </TD>
+</TR>
+<TR BGCOLOR="white" CLASS="TableRowColor">
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
+<CODE> int</CODE></FONT></TD>
+<TD><CODE><B><A HREF="../AST/OwlClassDecl.html#getNumOwnRestriction()">getNumOwnRestriction</A></B>()</CODE>
+
<BR>
</TD>
</TR>
@@ -331,6 +356,14 @@ java.lang.Object
<CODE> int</CODE></FONT></TD>
<TD><CODE><B><A HREF="../AST/OwlClassDecl.html#getNumRestriction()">getNumRestriction</A></B>()</CODE>
+<BR>
+ </TD>
+</TR>
+<TR BGCOLOR="white" CLASS="TableRowColor">
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
+<CODE> <A HREF="../AST/Restrictions.html" title="class in AST">Restrictions</A></CODE></FONT></TD>
+<TD><CODE><B><A HREF="../AST/OwlClassDecl.html#getOwnRestrictions()">getOwnRestrictions</A></B>()</CODE>
+
<BR>
</TD>
</TR>
@@ -347,6 +380,23 @@ java.lang.Object
<CODE> <A HREF="../AST/Restrictions.html" title="class in AST">Restrictions</A></CODE></FONT></TD>
<TD><CODE><B><A HREF="../AST/OwlClassDecl.html#getRestrictions()">getRestrictions</A></B>()</CODE>
+<BR>
+ </TD>
+</TR>
+<TR BGCOLOR="white" CLASS="TableRowColor">
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
+<CODE> java.util.ArrayList</CODE></FONT></TD>
+<TD><CODE><B><A HREF="../AST/OwlClassDecl.html#getSubClasses()">getSubClasses</A></B>()</CODE>
+
+<BR>
+ </TD>
+</TR>
+<TR BGCOLOR="white" CLASS="TableRowColor">
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
+<CODE> java.util.ArrayList</CODE></FONT></TD>
+<TD><CODE><B><A HREF="../AST/OwlClassDecl.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A></B>(<A HREF="../AST/OwlClassDecl.html" title="class in AST">OwlClassDecl</A> klass,
+ java.util.ArrayList l)</CODE>
+
<BR>
</TD>
</TR>
@@ -436,6 +486,15 @@ java.lang.Object
</TD>
</TR>
</TABLE>
+ <A NAME="methods_inherited_from_class_AST.OClass"><!-- --></A>
+<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
+<TR BGCOLOR="#EEEEFF" CLASS="TableSubHeadingColor">
+<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/OClass.html" title="class in AST">OClass</A></B></TH>
+</TR>
+<TR BGCOLOR="white" CLASS="TableRowColor">
+<TD><CODE><A HREF="../AST/OClass.html#name()">name</A></CODE></TD>
+</TR>
+</TABLE>
<A NAME="methods_inherited_from_class_AST.Element"><!-- --></A>
<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
<TR BGCOLOR="#EEEEFF" CLASS="TableSubHeadingColor">
@@ -451,7 +510,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
@@ -873,7 +932,7 @@ setId</H3>
public void <B>setId</B>(java.lang.String value)</PRE>
<DL>
<DD><DL>
-</DL>
+<DT><B>Overrides:</B><DD><CODE><A HREF="../AST/OClass.html#setId(java.lang.String)">setId</A></CODE> in class <CODE><A HREF="../AST/OClass.html" title="class in AST">OClass</A></CODE></DL>
</DD>
<DD><DL>
</DL>
@@ -887,7 +946,36 @@ getId</H3>
public java.lang.String <B>getId</B>()</PRE>
<DL>
<DD><DL>
-<DT><B>Overrides:</B><DD><CODE><A HREF="../AST/ComplexElement.html#getId()">getId</A></CODE> in class <CODE><A HREF="../AST/ComplexElement.html" title="class in AST">ComplexElement</A></CODE></DL>
+<DT><B>Overrides:</B><DD><CODE><A HREF="../AST/OClass.html#getId()">getId</A></CODE> in class <CODE><A HREF="../AST/OClass.html" title="class in AST">OClass</A></CODE></DL>
+</DD>
+<DD><DL>
+</DL>
+</DD>
+</DL>
+<HR>
+
+<A NAME="genPrettyPrinter(java.lang.String, java.io.PrintStream)"><!-- --></A><H3>
+genPrettyPrinter</H3>
+<PRE>
+public void <B>genPrettyPrinter</B>(java.lang.String ind,
+ java.io.PrintStream pStream)</PRE>
+<DL>
+<DD><DL>
+<DT><B>Overrides:</B><DD><CODE><A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A></CODE> in class <CODE><A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></CODE></DL>
+</DD>
+<DD><DL>
+</DL>
+</DD>
+</DL>
+<HR>
+
+<A NAME="genRewrites(java.io.PrintStream)"><!-- --></A><H3>
+genRewrites</H3>
+<PRE>
+public void <B>genRewrites</B>(java.io.PrintStream pStream)</PRE>
+<DL>
+<DD><DL>
+<DT><B>Overrides:</B><DD><CODE><A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A></CODE> in class <CODE><A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></CODE></DL>
</DD>
<DD><DL>
</DL>
@@ -937,6 +1025,35 @@ public <A HREF="../AST/Properties.html" title="class in AST">Properties</A> <B>g
</DL>
<HR>
+<A NAME="getSubClasses()"><!-- --></A><H3>
+getSubClasses</H3>
+<PRE>
+public java.util.ArrayList <B>getSubClasses</B>()</PRE>
+<DL>
+<DD><DL>
+<DT><B>Specified by:</B><DD><CODE><A HREF="../AST/OClass.html#getSubClasses()">getSubClasses</A></CODE> in class <CODE><A HREF="../AST/OClass.html" title="class in AST">OClass</A></CODE></DL>
+</DD>
+<DD><DL>
+</DL>
+</DD>
+</DL>
+<HR>
+
+<A NAME="getSubClasses(AST.OwlClassDecl, java.util.ArrayList)"><!-- --></A><H3>
+getSubClasses</H3>
+<PRE>
+public java.util.ArrayList <B>getSubClasses</B>(<A HREF="../AST/OwlClassDecl.html" title="class in AST">OwlClassDecl</A> klass,
+ java.util.ArrayList l)</PRE>
+<DL>
+<DD><DL>
+<DT><B>Overrides:</B><DD><CODE><A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A></CODE> in class <CODE><A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></CODE></DL>
+</DD>
+<DD><DL>
+</DL>
+</DD>
+</DL>
+<HR>
+
<A NAME="getRestrictions()"><!-- --></A><H3>
getRestrictions</H3>
<PRE>
@@ -965,6 +1082,34 @@ public int <B>getNumRestriction</B>()</PRE>
</DL>
<HR>
+<A NAME="getOwnRestrictions()"><!-- --></A><H3>
+getOwnRestrictions</H3>
+<PRE>
+public <A HREF="../AST/Restrictions.html" title="class in AST">Restrictions</A> <B>getOwnRestrictions</B>()</PRE>
+<DL>
+<DD><DL>
+</DL>
+</DD>
+<DD><DL>
+</DL>
+</DD>
+</DL>
+<HR>
+
+<A NAME="getNumOwnRestriction()"><!-- --></A><H3>
+getNumOwnRestriction</H3>
+<PRE>
+public int <B>getNumOwnRestriction</B>()</PRE>
+<DL>
+<DD><DL>
+</DL>
+</DD>
+<DD><DL>
+</DL>
+</DD>
+</DL>
+<HR>
+
<A NAME="rewriteTo()"><!-- --></A><H3>
rewriteTo</H3>
<PRE>
diff --git a/javadoc/AST/OwlClassUse.html b/javadoc/AST/OwlClassUse.html
index 5c834042b083c573aa98bc08dcb0cad1fa6c117d..8114c46ce28817b6605e70c5818c3d43d9e827e4 100644
--- a/javadoc/AST/OwlClassUse.html
+++ b/javadoc/AST/OwlClassUse.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:05 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:36 CET 2006 -->
<TITLE>
OwlClassUse
</TITLE>
@@ -323,6 +323,14 @@ java.lang.Object
<CODE> int</CODE></FONT></TD>
<TD><CODE><B><A HREF="../AST/OwlClassUse.html#getNumElement()">getNumElement</A></B>()</CODE>
+<BR>
+ </TD>
+</TR>
+<TR BGCOLOR="white" CLASS="TableRowColor">
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
+<CODE> java.util.ArrayList</CODE></FONT></TD>
+<TD><CODE><B><A HREF="../AST/OwlClassUse.html#getSubClasses()">getSubClasses</A></B>()</CODE>
+
<BR>
</TD>
</TR>
@@ -412,6 +420,15 @@ java.lang.Object
</TD>
</TR>
</TABLE>
+ <A NAME="methods_inherited_from_class_AST.OClass"><!-- --></A>
+<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
+<TR BGCOLOR="#EEEEFF" CLASS="TableSubHeadingColor">
+<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/OClass.html" title="class in AST">OClass</A></B></TH>
+</TR>
+<TR BGCOLOR="white" CLASS="TableRowColor">
+<TD><CODE><A HREF="../AST/OClass.html#name()">name</A></CODE></TD>
+</TR>
+</TABLE>
<A NAME="methods_inherited_from_class_AST.Element"><!-- --></A>
<TABLE BORDER="1" WIDTH="100%" CELLPADDING="3" CELLSPACING="0" SUMMARY="">
<TR BGCOLOR="#EEEEFF" CLASS="TableSubHeadingColor">
@@ -427,7 +444,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
@@ -849,7 +866,7 @@ setId</H3>
public void <B>setId</B>(java.lang.String value)</PRE>
<DL>
<DD><DL>
-</DL>
+<DT><B>Overrides:</B><DD><CODE><A HREF="../AST/OClass.html#setId(java.lang.String)">setId</A></CODE> in class <CODE><A HREF="../AST/OClass.html" title="class in AST">OClass</A></CODE></DL>
</DD>
<DD><DL>
</DL>
@@ -863,7 +880,7 @@ getId</H3>
public java.lang.String <B>getId</B>()</PRE>
<DL>
<DD><DL>
-<DT><B>Overrides:</B><DD><CODE><A HREF="../AST/ComplexElement.html#getId()">getId</A></CODE> in class <CODE><A HREF="../AST/ComplexElement.html" title="class in AST">ComplexElement</A></CODE></DL>
+<DT><B>Overrides:</B><DD><CODE><A HREF="../AST/OClass.html#getId()">getId</A></CODE> in class <CODE><A HREF="../AST/OClass.html" title="class in AST">OClass</A></CODE></DL>
</DD>
<DD><DL>
</DL>
@@ -899,6 +916,20 @@ public <A HREF="../AST/OwlClassDecl.html" title="class in AST">OwlClassDecl</A>
</DL>
<HR>
+<A NAME="getSubClasses()"><!-- --></A><H3>
+getSubClasses</H3>
+<PRE>
+public java.util.ArrayList <B>getSubClasses</B>()</PRE>
+<DL>
+<DD><DL>
+<DT><B>Specified by:</B><DD><CODE><A HREF="../AST/OClass.html#getSubClasses()">getSubClasses</A></CODE> in class <CODE><A HREF="../AST/OClass.html" title="class in AST">OClass</A></CODE></DL>
+</DD>
+<DD><DL>
+</DL>
+</DD>
+</DL>
+<HR>
+
<A NAME="rewriteTo()"><!-- --></A><H3>
rewriteTo</H3>
<PRE>
diff --git a/javadoc/AST/OwlDataRange.html b/javadoc/AST/OwlDataRange.html
index 5bd15f69ecdafac8183995b1e2b1ebbe4e3dc178..3452d24f58c0eb59b781e4a32fff650eba0d5fb3 100644
--- a/javadoc/AST/OwlDataRange.html
+++ b/javadoc/AST/OwlDataRange.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:05 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:36 CET 2006 -->
<TITLE>
OwlDataRange
</TITLE>
@@ -410,7 +410,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/OwlDatatypeProperty.html b/javadoc/AST/OwlDatatypeProperty.html
index 05dd987a471cb667ca465cd5306c8bcf98c50125..edfbf6b1127de18f542cdb1f4e3eabbe033db9c3 100644
--- a/javadoc/AST/OwlDatatypeProperty.html
+++ b/javadoc/AST/OwlDatatypeProperty.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:05 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:36 CET 2006 -->
<TITLE>
OwlDatatypeProperty
</TITLE>
@@ -402,7 +402,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/OwlDisjointWith.html b/javadoc/AST/OwlDisjointWith.html
index ba81e7c9e3c8036c87c67d5713920e8949fc0a69..1d6c00a0eb72ebc8672fd6d08b2ed85ccf8cec82 100644
--- a/javadoc/AST/OwlDisjointWith.html
+++ b/javadoc/AST/OwlDisjointWith.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:05 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:36 CET 2006 -->
<TITLE>
OwlDisjointWith
</TITLE>
@@ -402,7 +402,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/OwlEquivalentClass.html b/javadoc/AST/OwlEquivalentClass.html
index 3ec65f4fe2d1fbee40d829f99b1b1342690f91db..825b1dbf3fadeecd67f4c7340737685c81c07a43 100644
--- a/javadoc/AST/OwlEquivalentClass.html
+++ b/javadoc/AST/OwlEquivalentClass.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:05 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:36 CET 2006 -->
<TITLE>
OwlEquivalentClass
</TITLE>
@@ -402,7 +402,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/OwlFunctionalProperty.html b/javadoc/AST/OwlFunctionalProperty.html
index 923122d6ebb10815259108f81cf2c54141f0fd6d..941352488f40afaf73192db239f46c9179b021cc 100644
--- a/javadoc/AST/OwlFunctionalProperty.html
+++ b/javadoc/AST/OwlFunctionalProperty.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:06 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:36 CET 2006 -->
<TITLE>
OwlFunctionalProperty
</TITLE>
@@ -403,7 +403,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/OwlImports.html b/javadoc/AST/OwlImports.html
index c006401c160e25c026092339503715557241ee74..48954860e213b13bd334139962f674c727d29232 100644
--- a/javadoc/AST/OwlImports.html
+++ b/javadoc/AST/OwlImports.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:06 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:36 CET 2006 -->
<TITLE>
OwlImports
</TITLE>
@@ -402,7 +402,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/OwlIntersectionOf.html b/javadoc/AST/OwlIntersectionOf.html
index e15c57ce0533c3537b688225fec542b2feb61eb4..5e8be3597a918485aa069dd05cc11f49051730c2 100644
--- a/javadoc/AST/OwlIntersectionOf.html
+++ b/javadoc/AST/OwlIntersectionOf.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:06 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:36 CET 2006 -->
<TITLE>
OwlIntersectionOf
</TITLE>
@@ -402,7 +402,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/OwlInverseOf.html b/javadoc/AST/OwlInverseOf.html
index a912a483faec32d895cbe01e3c0742b5a1615948..54086ca143b3cd16fd24a08fe81a6eb6367e0ff2 100644
--- a/javadoc/AST/OwlInverseOf.html
+++ b/javadoc/AST/OwlInverseOf.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:06 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:36 CET 2006 -->
<TITLE>
OwlInverseOf
</TITLE>
@@ -402,7 +402,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/OwlMinCardinality.html b/javadoc/AST/OwlMinCardinality.html
index c7898f30374d4f97ca9e2440349662de4963e0c5..ed80e4bde32c1cd9d7e0de00e2adafa35aac6993 100644
--- a/javadoc/AST/OwlMinCardinality.html
+++ b/javadoc/AST/OwlMinCardinality.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:06 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:36 CET 2006 -->
<TITLE>
OwlMinCardinality
</TITLE>
@@ -402,7 +402,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/OwlObjectProperty.html b/javadoc/AST/OwlObjectProperty.html
index aa16f53c55862147d73aef7bd92af5700c99878d..7e8901b453bf34b0775b3131b3fd4efedbb84e54 100644
--- a/javadoc/AST/OwlObjectProperty.html
+++ b/javadoc/AST/OwlObjectProperty.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:06 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:36 CET 2006 -->
<TITLE>
OwlObjectProperty
</TITLE>
@@ -411,7 +411,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/OwlOnProperty.html b/javadoc/AST/OwlOnProperty.html
index b9ec1a2503c9bf085cd497fb163ebaf08a46a6d5..06eed12c38d7c623fc81837bec7ed9820acaff17 100644
--- a/javadoc/AST/OwlOnProperty.html
+++ b/javadoc/AST/OwlOnProperty.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:06 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:37 CET 2006 -->
<TITLE>
OwlOnProperty
</TITLE>
@@ -403,7 +403,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/OwlOneOf.html b/javadoc/AST/OwlOneOf.html
index 328c2a8b7a7b7e866d4932e322aa7777608e7bc6..a67d690dde17905723fa2408126144464b115ed9 100644
--- a/javadoc/AST/OwlOneOf.html
+++ b/javadoc/AST/OwlOneOf.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:06 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:36 CET 2006 -->
<TITLE>
OwlOneOf
</TITLE>
@@ -410,7 +410,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/OwlOntology.html b/javadoc/AST/OwlOntology.html
index a7391ae95f06d608ae3b857c256e13fcbab350e3..e4ffa3f512c2e2dbe1921b792a647a38f746f71a 100644
--- a/javadoc/AST/OwlOntology.html
+++ b/javadoc/AST/OwlOntology.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:06 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:37 CET 2006 -->
<TITLE>
OwlOntology
</TITLE>
@@ -402,7 +402,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/OwlParser.html b/javadoc/AST/OwlParser.html
index b8841c478c040ad680e914c045176c908e574dd3..904024178dec137222275e84cf598ff9513dc469 100644
--- a/javadoc/AST/OwlParser.html
+++ b/javadoc/AST/OwlParser.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:07 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:37 CET 2006 -->
<TITLE>
OwlParser
</TITLE>
diff --git a/javadoc/AST/OwlParserConstants.html b/javadoc/AST/OwlParserConstants.html
index 146a052fe85b5e3b66f9c138dd4133b20a10c8fc..b42f0c36e65b47214c92de02b75daaa803ada9b8 100644
--- a/javadoc/AST/OwlParserConstants.html
+++ b/javadoc/AST/OwlParserConstants.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:07 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:37 CET 2006 -->
<TITLE>
OwlParserConstants
</TITLE>
diff --git a/javadoc/AST/OwlParserTokenManager.html b/javadoc/AST/OwlParserTokenManager.html
index ea7155ecf061e5aecd575828519c3647b6ce81e5..e441d8057346852ee68f17303b0ac4f4a5ebece8 100644
--- a/javadoc/AST/OwlParserTokenManager.html
+++ b/javadoc/AST/OwlParserTokenManager.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:07 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:37 CET 2006 -->
<TITLE>
OwlParserTokenManager
</TITLE>
diff --git a/javadoc/AST/OwlParserTreeConstants.html b/javadoc/AST/OwlParserTreeConstants.html
index 2de4f03cae5fb9052881b88980a987b576d3a344..b1c43ef7c81a6faff868e65805c239f2dd80807c 100644
--- a/javadoc/AST/OwlParserTreeConstants.html
+++ b/javadoc/AST/OwlParserTreeConstants.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:07 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:37 CET 2006 -->
<TITLE>
OwlParserTreeConstants
</TITLE>
diff --git a/javadoc/AST/OwlParserVisitor.html b/javadoc/AST/OwlParserVisitor.html
index c5b5eb2f09a0f105e95219f3337a0a98a0b4ec04..7415cbee05e8961e5db11425c323ba59f4797f7d 100644
--- a/javadoc/AST/OwlParserVisitor.html
+++ b/javadoc/AST/OwlParserVisitor.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:07 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:37 CET 2006 -->
<TITLE>
OwlParserVisitor
</TITLE>
diff --git a/javadoc/AST/OwlProperty.html b/javadoc/AST/OwlProperty.html
index 097bd33a690eea6380bea00885d908003ebfab64..b11e1715cdb53b098f7b8955e40b6a044c446fe5 100644
--- a/javadoc/AST/OwlProperty.html
+++ b/javadoc/AST/OwlProperty.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:07 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:37 CET 2006 -->
<TITLE>
OwlProperty
</TITLE>
@@ -388,7 +388,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#copy()">copy</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#fullCopy()">fullCopy</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#copy()">copy</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#fullCopy()">fullCopy</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/OwlRestriction.html b/javadoc/AST/OwlRestriction.html
index 5efdead9eab734b4ca68410c885cfaf9db501b36..b7b33b2d5d0df3f13567b3be728e8619354845e3 100644
--- a/javadoc/AST/OwlRestriction.html
+++ b/javadoc/AST/OwlRestriction.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:07 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:37 CET 2006 -->
<TITLE>
OwlRestriction
</TITLE>
@@ -410,7 +410,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/OwlSomeValuesFrom.html b/javadoc/AST/OwlSomeValuesFrom.html
index 1e7154bd466452571f4b26b41030d7ddbf34341c..cea6d009a749e3ecbed566120ffe1a0b8eae0536 100644
--- a/javadoc/AST/OwlSomeValuesFrom.html
+++ b/javadoc/AST/OwlSomeValuesFrom.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:07 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:37 CET 2006 -->
<TITLE>
OwlSomeValuesFrom
</TITLE>
@@ -403,7 +403,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/OwlUnionOf.html b/javadoc/AST/OwlUnionOf.html
index 5afb801a9cce5b7026331fe64741bc598fbc43a8..a6ca10188af077036a19e7973bddd3fe09cae0cf 100644
--- a/javadoc/AST/OwlUnionOf.html
+++ b/javadoc/AST/OwlUnionOf.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:07 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:37 CET 2006 -->
<TITLE>
OwlUnionOf
</TITLE>
@@ -402,7 +402,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/OwlValuesFrom.html b/javadoc/AST/OwlValuesFrom.html
index 36b51db3bd7295579a4bd572d6d02064a02be99b..0aa5efc722d5b6e9d7e9e39aff3071d4b2b0dc33 100644
--- a/javadoc/AST/OwlValuesFrom.html
+++ b/javadoc/AST/OwlValuesFrom.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:07 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:38 CET 2006 -->
<TITLE>
OwlValuesFrom
</TITLE>
@@ -388,7 +388,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#copy()">copy</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#fullCopy()">fullCopy</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#copy()">copy</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#fullCopy()">fullCopy</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/ParseException.html b/javadoc/AST/ParseException.html
index 676ea37f672cbf746ca173f3478cfadd463bca3f..e9d565f6409586b3eb4ed29e39b03acc746ed4b7 100644
--- a/javadoc/AST/ParseException.html
+++ b/javadoc/AST/ParseException.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:07 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:38 CET 2006 -->
<TITLE>
ParseException
</TITLE>
diff --git a/javadoc/AST/Properties.html b/javadoc/AST/Properties.html
index 6438248e4a106f5234b586d4d66f6cd322da18b4..a711e35d9a47525eea88028feb6abe3a47eb39df 100644
--- a/javadoc/AST/Properties.html
+++ b/javadoc/AST/Properties.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:07 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:38 CET 2006 -->
<TITLE>
Properties
</TITLE>
@@ -324,7 +324,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/RdfAbout.html b/javadoc/AST/RdfAbout.html
index 2d3f01a1be05521b56e47725e2ce0c754d56f64f..578cce38ff1260b02d93af99736675c7d1f30e87 100644
--- a/javadoc/AST/RdfAbout.html
+++ b/javadoc/AST/RdfAbout.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:07 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:38 CET 2006 -->
<TITLE>
RdfAbout
</TITLE>
@@ -301,7 +301,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/RdfDatatype.html b/javadoc/AST/RdfDatatype.html
index e164c7c108f2894ef06e3488be190a8730a64748..4c1f6a8eef2a74907194ab7b26aede1af1a46b7b 100644
--- a/javadoc/AST/RdfDatatype.html
+++ b/javadoc/AST/RdfDatatype.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:08 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:38 CET 2006 -->
<TITLE>
RdfDatatype
</TITLE>
@@ -301,7 +301,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/RdfDeclaration.html b/javadoc/AST/RdfDeclaration.html
index 9a7e89217261ca1d5797d8804ddc093f6b387329..75497c8c71b71cde25ddcd679277d1fbbced16f7 100644
--- a/javadoc/AST/RdfDeclaration.html
+++ b/javadoc/AST/RdfDeclaration.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:08 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:38 CET 2006 -->
<TITLE>
RdfDeclaration
</TITLE>
@@ -402,7 +402,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/RdfFirst.html b/javadoc/AST/RdfFirst.html
index 7783b90933f175aac1949dd520872755f0997676..6766b1c3f5f82d24e512823c1f7c0c14dcd9d7d2 100644
--- a/javadoc/AST/RdfFirst.html
+++ b/javadoc/AST/RdfFirst.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:08 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:38 CET 2006 -->
<TITLE>
RdfFirst
</TITLE>
@@ -410,7 +410,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/RdfId.html b/javadoc/AST/RdfId.html
index 25f708bc4fd5be5b828f636deb2a1ba2edf05c2a..282b58a3da36476f907bc2bee2bd7b78c54575b1 100644
--- a/javadoc/AST/RdfId.html
+++ b/javadoc/AST/RdfId.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:08 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:38 CET 2006 -->
<TITLE>
RdfId
</TITLE>
@@ -301,7 +301,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/RdfParseType.html b/javadoc/AST/RdfParseType.html
index 95e27a9ee764f61dd3021ca0cfd941fb8117e037..ac21971a601d84c385669436276e6fe979d6a360 100644
--- a/javadoc/AST/RdfParseType.html
+++ b/javadoc/AST/RdfParseType.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:08 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:38 CET 2006 -->
<TITLE>
RdfParseType
</TITLE>
@@ -301,7 +301,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/RdfResource.html b/javadoc/AST/RdfResource.html
index 41cdee618d0976094ccb6d4070cae7f8a9ce93b9..95b4c5d33eda92313488cce1776dfde4e9725161 100644
--- a/javadoc/AST/RdfResource.html
+++ b/javadoc/AST/RdfResource.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:08 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:38 CET 2006 -->
<TITLE>
RdfResource
</TITLE>
@@ -300,7 +300,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/RdfRest.html b/javadoc/AST/RdfRest.html
index ee0954e19c806bc3253348c2c911382a759dc41a..302bf5b9111b29e28c7c1b914d12b1590d37d21c 100644
--- a/javadoc/AST/RdfRest.html
+++ b/javadoc/AST/RdfRest.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:08 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:38 CET 2006 -->
<TITLE>
RdfRest
</TITLE>
@@ -402,7 +402,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/RdfType.html b/javadoc/AST/RdfType.html
index 8c3e56e43ec28a2b2bb2f60ae01a1064d3c62c65..6a33e6a138ef006a93a3694743c7e8bec99b02a4 100644
--- a/javadoc/AST/RdfType.html
+++ b/javadoc/AST/RdfType.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:09 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:38 CET 2006 -->
<TITLE>
RdfType
</TITLE>
@@ -402,7 +402,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/RdfsComment.html b/javadoc/AST/RdfsComment.html
index 7e57560e1574f67745d963ecc916e547701f1d82..3e0610602fef1978aa7615688ad0e030b9c4355e 100644
--- a/javadoc/AST/RdfsComment.html
+++ b/javadoc/AST/RdfsComment.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:08 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:38 CET 2006 -->
<TITLE>
RdfsComment
</TITLE>
@@ -402,7 +402,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/RdfsDomain.html b/javadoc/AST/RdfsDomain.html
index 21f77d5d11c11f41923bd1ac20a4cc0f2a5ed716..7701881c2759daa0298aa4889937d6b8e6b5f16c 100644
--- a/javadoc/AST/RdfsDomain.html
+++ b/javadoc/AST/RdfsDomain.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:08 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:38 CET 2006 -->
<TITLE>
RdfsDomain
</TITLE>
@@ -402,7 +402,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/RdfsRange.html b/javadoc/AST/RdfsRange.html
index 2ee321d62d302a3d372e2c64e9d13c8988725bdc..fa519ddb65cd7fac1fed9d40156db1d95b13ebe9 100644
--- a/javadoc/AST/RdfsRange.html
+++ b/javadoc/AST/RdfsRange.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:08 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:38 CET 2006 -->
<TITLE>
RdfsRange
</TITLE>
@@ -410,7 +410,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/RdfsSubClassOf.html b/javadoc/AST/RdfsSubClassOf.html
index c0fe02c1bea489a5623864d445af97dea44f6adb..383892ab75585e772668e36834ed0d1ac0bedc69 100644
--- a/javadoc/AST/RdfsSubClassOf.html
+++ b/javadoc/AST/RdfsSubClassOf.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:08 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:38 CET 2006 -->
<TITLE>
RdfsSubClassOf
</TITLE>
@@ -402,7 +402,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/RdfsSubPropertyOf.html b/javadoc/AST/RdfsSubPropertyOf.html
index 6e21701e5b1dcebda88e88b079b1828643dd796f..e614877f2824a4e997382d9d1d3931449e4d01a7 100644
--- a/javadoc/AST/RdfsSubPropertyOf.html
+++ b/javadoc/AST/RdfsSubPropertyOf.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:08 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:38 CET 2006 -->
<TITLE>
RdfsSubPropertyOf
</TITLE>
@@ -402,7 +402,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/Restrictions.html b/javadoc/AST/Restrictions.html
index dd7517a36015b77a9fcc4b8d139dbee1b3476025..594f47db79c946b56e4a4e0dba86630d18c6e1a3 100644
--- a/javadoc/AST/Restrictions.html
+++ b/javadoc/AST/Restrictions.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:09 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:39 CET 2006 -->
<TITLE>
Restrictions
</TITLE>
@@ -324,7 +324,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/SimpleElement.html b/javadoc/AST/SimpleElement.html
index 012befaf1efa3271978a272c59865c9b9583e53e..70a18b777ab2657d90cf1bf49720ec3a5199136b 100644
--- a/javadoc/AST/SimpleElement.html
+++ b/javadoc/AST/SimpleElement.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:09 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:39 CET 2006 -->
<TITLE>
SimpleElement
</TITLE>
@@ -258,7 +258,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#copy()">copy</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#fullCopy()">fullCopy</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#copy()">copy</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#fullCopy()">fullCopy</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/SimpleNode.html b/javadoc/AST/SimpleNode.html
index defd0c904cc4d1720017e6ee75363ddca5348b98..138098a50f72747ccbec6600e228e7ddc697c56d 100644
--- a/javadoc/AST/SimpleNode.html
+++ b/javadoc/AST/SimpleNode.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:09 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:39 CET 2006 -->
<TITLE>
SimpleNode
</TITLE>
diff --git a/javadoc/AST/Specification.html b/javadoc/AST/Specification.html
index f94034718231021384a15e2d089362a28f4029a0..d469c21d922a1859689d03ad964ab7d1ce5f0c7c 100644
--- a/javadoc/AST/Specification.html
+++ b/javadoc/AST/Specification.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:09 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:39 CET 2006 -->
<TITLE>
Specification
</TITLE>
@@ -316,7 +316,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/Start.html b/javadoc/AST/Start.html
index dfce032680bda91fefc089725aaf8e11e422240f..4df707bbe3bfd31e539f1bccd64f0ec7579d6d6b 100644
--- a/javadoc/AST/Start.html
+++ b/javadoc/AST/Start.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:09 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:39 CET 2006 -->
<TITLE>
Start
</TITLE>
@@ -236,7 +236,7 @@ java.lang.Object
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> void</CODE></FONT></TD>
-<TD><CODE><B><A HREF="../AST/Start.html#genJavaCC(java.io.PrintStream)">genJavaCC</A></B>(java.io.PrintStream pStream)</CODE>
+<TD><CODE><B><A HREF="../AST/Start.html#genParser(java.io.PrintStream)">genParser</A></B>(java.io.PrintStream pStream)</CODE>
<BR>
</TD>
@@ -244,7 +244,16 @@ java.lang.Object
<TR BGCOLOR="white" CLASS="TableRowColor">
<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
<CODE> void</CODE></FONT></TD>
-<TD><CODE><B><A HREF="../AST/Start.html#genParser(java.io.PrintStream)">genParser</A></B>(java.io.PrintStream pStream)</CODE>
+<TD><CODE><B><A HREF="../AST/Start.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A></B>(java.lang.String ind,
+ java.io.PrintStream pStream)</CODE>
+
+<BR>
+ </TD>
+</TR>
+<TR BGCOLOR="white" CLASS="TableRowColor">
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
+<CODE> void</CODE></FONT></TD>
+<TD><CODE><B><A HREF="../AST/Start.html#genRewrites(java.io.PrintStream)">genRewrites</A></B>(java.io.PrintStream pStream)</CODE>
<BR>
</TD>
@@ -270,6 +279,14 @@ java.lang.Object
<CODE> <A HREF="../AST/Specification.html" title="class in AST">Specification</A></CODE></FONT></TD>
<TD><CODE><B><A HREF="../AST/Start.html#getSpecificationNoTransform()">getSpecificationNoTransform</A></B>()</CODE>
+<BR>
+ </TD>
+</TR>
+<TR BGCOLOR="white" CLASS="TableRowColor">
+<TD ALIGN="right" VALIGN="top" WIDTH="1%"><FONT SIZE="-1">
+<CODE> <A HREF="../AST/Start.html" title="class in AST">Start</A></CODE></FONT></TD>
+<TD><CODE><B><A HREF="../AST/Start.html#goStart()">goStart</A></B>()</CODE>
+
<BR>
</TD>
</TR>
@@ -323,7 +340,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
@@ -595,13 +612,28 @@ public void <B>genAbsGrammar</B>(java.io.PrintStream pStream)</PRE>
</DL>
<HR>
-<A NAME="genJavaCC(java.io.PrintStream)"><!-- --></A><H3>
-genJavaCC</H3>
+<A NAME="genPrettyPrinter(java.lang.String, java.io.PrintStream)"><!-- --></A><H3>
+genPrettyPrinter</H3>
<PRE>
-public void <B>genJavaCC</B>(java.io.PrintStream pStream)</PRE>
+public void <B>genPrettyPrinter</B>(java.lang.String ind,
+ java.io.PrintStream pStream)</PRE>
<DL>
<DD><DL>
-<DT><B>Overrides:</B><DD><CODE><A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A></CODE> in class <CODE><A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></CODE></DL>
+<DT><B>Overrides:</B><DD><CODE><A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A></CODE> in class <CODE><A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></CODE></DL>
+</DD>
+<DD><DL>
+</DL>
+</DD>
+</DL>
+<HR>
+
+<A NAME="genRewrites(java.io.PrintStream)"><!-- --></A><H3>
+genRewrites</H3>
+<PRE>
+public void <B>genRewrites</B>(java.io.PrintStream pStream)</PRE>
+<DL>
+<DD><DL>
+<DT><B>Overrides:</B><DD><CODE><A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A></CODE> in class <CODE><A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></CODE></DL>
</DD>
<DD><DL>
</DL>
@@ -637,6 +669,20 @@ public void <B>dumpClasses</B>(java.io.PrintStream pStream)</PRE>
</DL>
<HR>
+<A NAME="goStart()"><!-- --></A><H3>
+goStart</H3>
+<PRE>
+public <A HREF="../AST/Start.html" title="class in AST">Start</A> <B>goStart</B>()</PRE>
+<DL>
+<DD><DL>
+<DT><B>Overrides:</B><DD><CODE><A HREF="../AST/ASTNode.html#goStart()">goStart</A></CODE> in class <CODE><A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></CODE></DL>
+</DD>
+<DD><DL>
+</DL>
+</DD>
+</DL>
+<HR>
+
<A NAME="rewriteTo()"><!-- --></A><H3>
rewriteTo</H3>
<PRE>
diff --git a/javadoc/AST/StringElement.html b/javadoc/AST/StringElement.html
index 802e0edd19616a698e56a6c55088bb1f594e79b9..f9dfc0d3eed77ff41cd5c5342b481b33913870d1 100644
--- a/javadoc/AST/StringElement.html
+++ b/javadoc/AST/StringElement.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:09 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:39 CET 2006 -->
<TITLE>
StringElement
</TITLE>
@@ -294,7 +294,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/Token.html b/javadoc/AST/Token.html
index 73c4ec40675e4b1d4bcd040fda907f7cff1448ae..b18f130b24013a30bf15b4b5e5f9eec21258e5c4 100644
--- a/javadoc/AST/Token.html
+++ b/javadoc/AST/Token.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:09 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:39 CET 2006 -->
<TITLE>
Token
</TITLE>
diff --git a/javadoc/AST/TokenMgrError.html b/javadoc/AST/TokenMgrError.html
index 32bac91b465fd63a18aae59c26cef98bc8da6b73..cc549dd09e13ea4676c0b09e65546b34503afb79 100644
--- a/javadoc/AST/TokenMgrError.html
+++ b/javadoc/AST/TokenMgrError.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:09 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:39 CET 2006 -->
<TITLE>
TokenMgrError
</TITLE>
diff --git a/javadoc/AST/Value.html b/javadoc/AST/Value.html
index 2e97eaf4b3383287dec9d64de32e694ac36a6c4f..2cd4aeb6299e3d9faa126b93359e2d84d71d37ea 100644
--- a/javadoc/AST/Value.html
+++ b/javadoc/AST/Value.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:09 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:39 CET 2006 -->
<TITLE>
Value
</TITLE>
@@ -283,7 +283,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/Version.html b/javadoc/AST/Version.html
index e3cd0acc34745c1acff0fe6db798b92e162f2a52..b25824458bb12a502c663367d237724e7f794b72 100644
--- a/javadoc/AST/Version.html
+++ b/javadoc/AST/Version.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:09 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:39 CET 2006 -->
<TITLE>
Version
</TITLE>
@@ -301,7 +301,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/XmlBase.html b/javadoc/AST/XmlBase.html
index 2d53e5a060bb8a822496745c81f5f8452c2be966..2a16e454f2dc5e78016bc07160603ef16af3facd 100644
--- a/javadoc/AST/XmlBase.html
+++ b/javadoc/AST/XmlBase.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:09 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:39 CET 2006 -->
<TITLE>
XmlBase
</TITLE>
@@ -301,7 +301,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/XmlHeader.html b/javadoc/AST/XmlHeader.html
index e2e049712b285252d51fe0b05adeffe7ca106811..2d6826dfee177a3cc93588255c0a8385edc66a78 100644
--- a/javadoc/AST/XmlHeader.html
+++ b/javadoc/AST/XmlHeader.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:09 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:39 CET 2006 -->
<TITLE>
XmlHeader
</TITLE>
@@ -324,7 +324,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/Xmlns.html b/javadoc/AST/Xmlns.html
index da202bb49fb7fcb5924a6bbd83acf6d7862b4521..1717d65e1f56f8ecb5652f857ecabf2fd946e4e6 100644
--- a/javadoc/AST/Xmlns.html
+++ b/javadoc/AST/Xmlns.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:09 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:39 CET 2006 -->
<TITLE>
Xmlns
</TITLE>
@@ -301,7 +301,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/XmlnsDaml.html b/javadoc/AST/XmlnsDaml.html
index a274d45feafc40c1523c12176ff74b9b0dcf279e..1cebe40f5edc63cbbb635d0e6e0b59e8d41128f8 100644
--- a/javadoc/AST/XmlnsDaml.html
+++ b/javadoc/AST/XmlnsDaml.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:09 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:39 CET 2006 -->
<TITLE>
XmlnsDaml
</TITLE>
@@ -301,7 +301,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/XmlnsDc.html b/javadoc/AST/XmlnsDc.html
index 56b3a2c4d261a60daee37b145dae8affe7485a96..3109005baa5b53d48fc47a43ce1110b3f1a53ef6 100644
--- a/javadoc/AST/XmlnsDc.html
+++ b/javadoc/AST/XmlnsDc.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:09 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:39 CET 2006 -->
<TITLE>
XmlnsDc
</TITLE>
@@ -301,7 +301,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/XmlnsOwl.html b/javadoc/AST/XmlnsOwl.html
index def4d944c6b01e673b9165938029f5b2b3281c30..8a4e2cefdeec7d40921f87c5645dc783653595fc 100644
--- a/javadoc/AST/XmlnsOwl.html
+++ b/javadoc/AST/XmlnsOwl.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:09 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:39 CET 2006 -->
<TITLE>
XmlnsOwl
</TITLE>
@@ -301,7 +301,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/XmlnsP1.html b/javadoc/AST/XmlnsP1.html
index d37a0581aabc59a91147efd8daea57588aceaec5..a647712a2a33d43dac5eced6647718169263c4ff 100644
--- a/javadoc/AST/XmlnsP1.html
+++ b/javadoc/AST/XmlnsP1.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:10 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:39 CET 2006 -->
<TITLE>
XmlnsP1
</TITLE>
@@ -301,7 +301,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/XmlnsProtege.html b/javadoc/AST/XmlnsProtege.html
index 769fb8169ab8151f7a92f16657feb1882266a74a..1f52b3565acb0d4207bd30630cd71c56a5d4abd7 100644
--- a/javadoc/AST/XmlnsProtege.html
+++ b/javadoc/AST/XmlnsProtege.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:10 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:39 CET 2006 -->
<TITLE>
XmlnsProtege
</TITLE>
@@ -301,7 +301,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/XmlnsRdf.html b/javadoc/AST/XmlnsRdf.html
index 52b51093b4d9f1d112780b96577560c2a1f5710b..77aedd39ce00b06d58b569ca9d3cf2d823ad33be 100644
--- a/javadoc/AST/XmlnsRdf.html
+++ b/javadoc/AST/XmlnsRdf.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:10 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:39 CET 2006 -->
<TITLE>
XmlnsRdf
</TITLE>
@@ -301,7 +301,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/XmlnsRdfs.html b/javadoc/AST/XmlnsRdfs.html
index 2b47708a561223092f482a8eff39b72b9ad5ba0b..4ae5697c8fb901f3b0c291227fb02b745b192035 100644
--- a/javadoc/AST/XmlnsRdfs.html
+++ b/javadoc/AST/XmlnsRdfs.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:10 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:39 CET 2006 -->
<TITLE>
XmlnsRdfs
</TITLE>
@@ -301,7 +301,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/XmlnsXsd.html b/javadoc/AST/XmlnsXsd.html
index 6f74331c511226643d55f0820e9210f7645e8571..c4a5f5af6ffd01cf153e0d8ec32e9257cda041e0 100644
--- a/javadoc/AST/XmlnsXsd.html
+++ b/javadoc/AST/XmlnsXsd.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:10 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:39 CET 2006 -->
<TITLE>
XmlnsXsd
</TITLE>
@@ -301,7 +301,7 @@ java.lang.Object
<TH ALIGN="left"><B>Methods inherited from class AST.<A HREF="../AST/ASTNode.html" title="class in AST">ASTNode</A></B></TH>
</TR>
<TR BGCOLOR="white" CLASS="TableRowColor">
-<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genJavaCC(java.io.PrintStream)">genJavaCC</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
+<TD><CODE><A HREF="../AST/ASTNode.html#addChild(AST.ASTNode)">addChild</A>, <A HREF="../AST/ASTNode.html#duringRewrites()">duringRewrites</A>, <A HREF="../AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)">genPrettyPrinter</A>, <A HREF="../AST/ASTNode.html#genRewrites(java.io.PrintStream)">genRewrites</A>, <A HREF="../AST/ASTNode.html#getChild(int)">getChild</A>, <A HREF="../AST/ASTNode.html#getChildNoTransform(int)">getChildNoTransform</A>, <A HREF="../AST/ASTNode.html#getIndexOfChild(AST.ASTNode)">getIndexOfChild</A>, <A HREF="../AST/ASTNode.html#getParent()">getParent</A>, <A HREF="../AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)">getSubClasses</A>, <A HREF="../AST/ASTNode.html#goStart()">goStart</A>, <A HREF="../AST/ASTNode.html#ind(int)">ind</A>, <A HREF="../AST/ASTNode.html#insertChild(AST.ASTNode, int)">insertChild</A>, <A HREF="../AST/ASTNode.html#setChild(AST.ASTNode, int)">setChild</A>, <A HREF="../AST/ASTNode.html#setParent(AST.ASTNode)">setParent</A></CODE></TD>
</TR>
</TABLE>
<A NAME="methods_inherited_from_class_AST.SimpleNode"><!-- --></A>
diff --git a/javadoc/AST/package-frame.html b/javadoc/AST/package-frame.html
index a8f09c53c5cab952dd6d6ab591f6b2ca1d6c41a8..b3ed4171a850a0f52d67f15b5bc25f9e4877c0b4 100644
--- a/javadoc/AST/package-frame.html
+++ b/javadoc/AST/package-frame.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:10 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:40 CET 2006 -->
<TITLE>
AST
</TITLE>
diff --git a/javadoc/AST/package-summary.html b/javadoc/AST/package-summary.html
index cc75aeac2c734e40b16ce6ece05077548f10d116..e18d875c638fa74dbf6d3a016afc18f36f0d2fb8 100644
--- a/javadoc/AST/package-summary.html
+++ b/javadoc/AST/package-summary.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:10 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:40 CET 2006 -->
<TITLE>
AST
</TITLE>
diff --git a/javadoc/AST/package-tree.html b/javadoc/AST/package-tree.html
index dde19e2bfa13e09e170204a974005343fcc22a00..d2fb225f6117ef645e0b29cd78315459ea0249bf 100644
--- a/javadoc/AST/package-tree.html
+++ b/javadoc/AST/package-tree.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:10 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:40 CET 2006 -->
<TITLE>
AST Class Hierarchy
</TITLE>
diff --git a/javadoc/allclasses-frame.html b/javadoc/allclasses-frame.html
index 416feff6f9bd74c4bbde5d145f168c0376f1aef5..dffeb553f14c982a7d5c288b327782b6802c62bd 100644
--- a/javadoc/allclasses-frame.html
+++ b/javadoc/allclasses-frame.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:11 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:40 CET 2006 -->
<TITLE>
All Classes
</TITLE>
diff --git a/javadoc/allclasses-noframe.html b/javadoc/allclasses-noframe.html
index f61bffe6677ac9204e11b4b178256ce769820bb3..f1528fc127a353ac41c545382a5336a3a1baac62 100644
--- a/javadoc/allclasses-noframe.html
+++ b/javadoc/allclasses-noframe.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:11 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:40 CET 2006 -->
<TITLE>
All Classes
</TITLE>
diff --git a/javadoc/constant-values.html b/javadoc/constant-values.html
index 0db149016a9abe302b2945f1e68d637388119697..6adaf72ab4b1746c3eac3b13825a710966ee467d 100644
--- a/javadoc/constant-values.html
+++ b/javadoc/constant-values.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:10 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:40 CET 2006 -->
<TITLE>
Constant Field Values
</TITLE>
@@ -35,7 +35,7 @@ function windowTitle()
<TR ALIGN="center" VALIGN="top">
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="AST/package-summary.html"><FONT CLASS="NavBarFont1"><B>Package</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <FONT CLASS="NavBarFont1">Class</FONT> </TD>
- <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="AST/package-tree.html"><FONT CLASS="NavBarFont1"><B>Tree</B></FONT></A> </TD>
+ <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="overview-tree.html"><FONT CLASS="NavBarFont1"><B>Tree</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="deprecated-list.html"><FONT CLASS="NavBarFont1"><B>Deprecated</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="index-all.html"><FONT CLASS="NavBarFont1"><B>Index</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="help-doc.html"><FONT CLASS="NavBarFont1"><B>Help</B></FONT></A> </TD>
@@ -897,7 +897,7 @@ AST.*</FONT></TH>
<TR ALIGN="center" VALIGN="top">
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="AST/package-summary.html"><FONT CLASS="NavBarFont1"><B>Package</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <FONT CLASS="NavBarFont1">Class</FONT> </TD>
- <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="AST/package-tree.html"><FONT CLASS="NavBarFont1"><B>Tree</B></FONT></A> </TD>
+ <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="overview-tree.html"><FONT CLASS="NavBarFont1"><B>Tree</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="deprecated-list.html"><FONT CLASS="NavBarFont1"><B>Deprecated</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="index-all.html"><FONT CLASS="NavBarFont1"><B>Index</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="help-doc.html"><FONT CLASS="NavBarFont1"><B>Help</B></FONT></A> </TD>
diff --git a/javadoc/deprecated-list.html b/javadoc/deprecated-list.html
index 15782944a3d8bb12fb83f0f4f05218e6487c46d9..0534d68d8bdb2f26da5940f79614b4ef7fb7fcd0 100644
--- a/javadoc/deprecated-list.html
+++ b/javadoc/deprecated-list.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:11 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:40 CET 2006 -->
<TITLE>
Deprecated List
</TITLE>
@@ -35,7 +35,7 @@ function windowTitle()
<TR ALIGN="center" VALIGN="top">
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="AST/package-summary.html"><FONT CLASS="NavBarFont1"><B>Package</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <FONT CLASS="NavBarFont1">Class</FONT> </TD>
- <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="AST/package-tree.html"><FONT CLASS="NavBarFont1"><B>Tree</B></FONT></A> </TD>
+ <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="overview-tree.html"><FONT CLASS="NavBarFont1"><B>Tree</B></FONT></A> </TD>
<TD BGCOLOR="#FFFFFF" CLASS="NavBarCell1Rev"> <FONT CLASS="NavBarFont1Rev"><B>Deprecated</B></FONT> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="index-all.html"><FONT CLASS="NavBarFont1"><B>Index</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="help-doc.html"><FONT CLASS="NavBarFont1"><B>Help</B></FONT></A> </TD>
@@ -115,7 +115,7 @@ function windowTitle()
<TR ALIGN="center" VALIGN="top">
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="AST/package-summary.html"><FONT CLASS="NavBarFont1"><B>Package</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <FONT CLASS="NavBarFont1">Class</FONT> </TD>
- <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="AST/package-tree.html"><FONT CLASS="NavBarFont1"><B>Tree</B></FONT></A> </TD>
+ <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="overview-tree.html"><FONT CLASS="NavBarFont1"><B>Tree</B></FONT></A> </TD>
<TD BGCOLOR="#FFFFFF" CLASS="NavBarCell1Rev"> <FONT CLASS="NavBarFont1Rev"><B>Deprecated</B></FONT> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="index-all.html"><FONT CLASS="NavBarFont1"><B>Index</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="help-doc.html"><FONT CLASS="NavBarFont1"><B>Help</B></FONT></A> </TD>
diff --git a/javadoc/help-doc.html b/javadoc/help-doc.html
index 03c2af7a6c96e1901bad3db39e853e0a7cdd5aab..26c15c67b2793d2044924b8d3b9d381e5238476b 100644
--- a/javadoc/help-doc.html
+++ b/javadoc/help-doc.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:11 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:40 CET 2006 -->
<TITLE>
API Help
</TITLE>
@@ -35,7 +35,7 @@ function windowTitle()
<TR ALIGN="center" VALIGN="top">
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="AST/package-summary.html"><FONT CLASS="NavBarFont1"><B>Package</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <FONT CLASS="NavBarFont1">Class</FONT> </TD>
- <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="AST/package-tree.html"><FONT CLASS="NavBarFont1"><B>Tree</B></FONT></A> </TD>
+ <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="overview-tree.html"><FONT CLASS="NavBarFont1"><B>Tree</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="deprecated-list.html"><FONT CLASS="NavBarFont1"><B>Deprecated</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="index-all.html"><FONT CLASS="NavBarFont1"><B>Index</B></FONT></A> </TD>
<TD BGCOLOR="#FFFFFF" CLASS="NavBarCell1Rev"> <FONT CLASS="NavBarFont1Rev"><B>Help</B></FONT> </TD>
@@ -162,7 +162,7 @@ This help file applies to API documentation generated using the standard doclet.
<TR ALIGN="center" VALIGN="top">
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="AST/package-summary.html"><FONT CLASS="NavBarFont1"><B>Package</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <FONT CLASS="NavBarFont1">Class</FONT> </TD>
- <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="AST/package-tree.html"><FONT CLASS="NavBarFont1"><B>Tree</B></FONT></A> </TD>
+ <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="overview-tree.html"><FONT CLASS="NavBarFont1"><B>Tree</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="deprecated-list.html"><FONT CLASS="NavBarFont1"><B>Deprecated</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="index-all.html"><FONT CLASS="NavBarFont1"><B>Index</B></FONT></A> </TD>
<TD BGCOLOR="#FFFFFF" CLASS="NavBarCell1Rev"> <FONT CLASS="NavBarFont1Rev"><B>Help</B></FONT> </TD>
diff --git a/javadoc/index-all.html b/javadoc/index-all.html
index 0a9c37f4bbf71ae5381fc361a102af4c95ad02cd..6acd6b843d302e3daa808183defab0a5709eae6e 100644
--- a/javadoc/index-all.html
+++ b/javadoc/index-all.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:10 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:40 CET 2006 -->
<TITLE>
Index
</TITLE>
@@ -35,7 +35,7 @@ function windowTitle()
<TR ALIGN="center" VALIGN="top">
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="./AST/package-summary.html"><FONT CLASS="NavBarFont1"><B>Package</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <FONT CLASS="NavBarFont1">Class</FONT> </TD>
- <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="./AST/package-tree.html"><FONT CLASS="NavBarFont1"><B>Tree</B></FONT></A> </TD>
+ <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="./overview-tree.html"><FONT CLASS="NavBarFont1"><B>Tree</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="./deprecated-list.html"><FONT CLASS="NavBarFont1"><B>Deprecated</B></FONT></A> </TD>
<TD BGCOLOR="#FFFFFF" CLASS="NavBarCell1Rev"> <FONT CLASS="NavBarFont1Rev"><B>Index</B></FONT> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="./help-doc.html"><FONT CLASS="NavBarFont1"><B>Help</B></FONT></A> </TD>
@@ -1509,13 +1509,25 @@ Static variable in class AST.<A HREF="./AST/ASTNode.html" title="class in AST">A
<DT><A HREF="./AST/OwlParser.html#generateParseException()"><B>generateParseException()</B></A> -
Method in class AST.<A HREF="./AST/OwlParser.html" title="class in AST">OwlParser</A>
<DD>
-<DT><A HREF="./AST/ASTNode.html#genJavaCC(java.io.PrintStream)"><B>genJavaCC(PrintStream)</B></A> -
+<DT><A HREF="./AST/Start.html#genParser(java.io.PrintStream)"><B>genParser(PrintStream)</B></A> -
+Method in class AST.<A HREF="./AST/Start.html" title="class in AST">Start</A>
+<DD>
+<DT><A HREF="./AST/ASTNode.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)"><B>genPrettyPrinter(String, PrintStream)</B></A> -
Method in class AST.<A HREF="./AST/ASTNode.html" title="class in AST">ASTNode</A>
<DD>
-<DT><A HREF="./AST/Start.html#genJavaCC(java.io.PrintStream)"><B>genJavaCC(PrintStream)</B></A> -
+<DT><A HREF="./AST/OwlClassDecl.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)"><B>genPrettyPrinter(String, PrintStream)</B></A> -
+Method in class AST.<A HREF="./AST/OwlClassDecl.html" title="class in AST">OwlClassDecl</A>
+<DD>
+<DT><A HREF="./AST/Start.html#genPrettyPrinter(java.lang.String, java.io.PrintStream)"><B>genPrettyPrinter(String, PrintStream)</B></A> -
Method in class AST.<A HREF="./AST/Start.html" title="class in AST">Start</A>
<DD>
-<DT><A HREF="./AST/Start.html#genParser(java.io.PrintStream)"><B>genParser(PrintStream)</B></A> -
+<DT><A HREF="./AST/ASTNode.html#genRewrites(java.io.PrintStream)"><B>genRewrites(PrintStream)</B></A> -
+Method in class AST.<A HREF="./AST/ASTNode.html" title="class in AST">ASTNode</A>
+<DD>
+<DT><A HREF="./AST/OwlClassDecl.html#genRewrites(java.io.PrintStream)"><B>genRewrites(PrintStream)</B></A> -
+Method in class AST.<A HREF="./AST/OwlClassDecl.html" title="class in AST">OwlClassDecl</A>
+<DD>
+<DT><A HREF="./AST/Start.html#genRewrites(java.io.PrintStream)"><B>genRewrites(PrintStream)</B></A> -
Method in class AST.<A HREF="./AST/Start.html" title="class in AST">Start</A>
<DD>
<DT><A HREF="./AST/ComplexElement.html#getAttribute(int)"><B>getAttribute(int)</B></A> -
@@ -2187,6 +2199,9 @@ Method in class AST.<A HREF="./AST/ComplexElement.html" title="class in AST">Com
<DT><A HREF="./AST/Element.html#getId()"><B>getId()</B></A> -
Method in class AST.<A HREF="./AST/Element.html" title="class in AST">Element</A>
<DD>
+<DT><A HREF="./AST/OClass.html#getId()"><B>getId()</B></A> -
+Method in class AST.<A HREF="./AST/OClass.html" title="class in AST">OClass</A>
+<DD>
<DT><A HREF="./AST/OwlClassDecl.html#getId()"><B>getId()</B></A> -
Method in class AST.<A HREF="./AST/OwlClassDecl.html" title="class in AST">OwlClassDecl</A>
<DD>
@@ -2635,6 +2650,9 @@ Method in class AST.<A HREF="./AST/RdfType.html" title="class in AST">RdfType</A
<DT><A HREF="./AST/Restrictions.html#getNumOwlRestriction()"><B>getNumOwlRestriction()</B></A> -
Method in class AST.<A HREF="./AST/Restrictions.html" title="class in AST">Restrictions</A>
<DD>
+<DT><A HREF="./AST/OwlClassDecl.html#getNumOwnRestriction()"><B>getNumOwnRestriction()</B></A> -
+Method in class AST.<A HREF="./AST/OwlClassDecl.html" title="class in AST">OwlClassDecl</A>
+<DD>
<DT><A HREF="./AST/Properties.html#getNumProperty()"><B>getNumProperty()</B></A> -
Method in class AST.<A HREF="./AST/Properties.html" title="class in AST">Properties</A>
<DD>
@@ -2650,6 +2668,9 @@ Method in class AST.<A HREF="./AST/Restrictions.html" title="class in AST">Restr
<DT><A HREF="./AST/Restrictions.html#getOwlRestrictionListNoTransform()"><B>getOwlRestrictionListNoTransform()</B></A> -
Method in class AST.<A HREF="./AST/Restrictions.html" title="class in AST">Restrictions</A>
<DD>
+<DT><A HREF="./AST/OwlClassDecl.html#getOwnRestrictions()"><B>getOwnRestrictions()</B></A> -
+Method in class AST.<A HREF="./AST/OwlClassDecl.html" title="class in AST">OwlClassDecl</A>
+<DD>
<DT><A HREF="./AST/ASTNode.html#getParent()"><B>getParent()</B></A> -
Method in class AST.<A HREF="./AST/ASTNode.html" title="class in AST">ASTNode</A>
<DD>
@@ -2683,6 +2704,21 @@ Method in class AST.<A HREF="./AST/Start.html" title="class in AST">Start</A>
<DT><A HREF="./AST/Value.html#getSTRING_LITERAL()"><B>getSTRING_LITERAL()</B></A> -
Method in class AST.<A HREF="./AST/Value.html" title="class in AST">Value</A>
<DD>
+<DT><A HREF="./AST/ASTNode.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)"><B>getSubClasses(OwlClassDecl, ArrayList)</B></A> -
+Method in class AST.<A HREF="./AST/ASTNode.html" title="class in AST">ASTNode</A>
+<DD>
+<DT><A HREF="./AST/OClass.html#getSubClasses()"><B>getSubClasses()</B></A> -
+Method in class AST.<A HREF="./AST/OClass.html" title="class in AST">OClass</A>
+<DD>
+<DT><A HREF="./AST/OwlClassDecl.html#getSubClasses()"><B>getSubClasses()</B></A> -
+Method in class AST.<A HREF="./AST/OwlClassDecl.html" title="class in AST">OwlClassDecl</A>
+<DD>
+<DT><A HREF="./AST/OwlClassDecl.html#getSubClasses(AST.OwlClassDecl, java.util.ArrayList)"><B>getSubClasses(OwlClassDecl, ArrayList)</B></A> -
+Method in class AST.<A HREF="./AST/OwlClassDecl.html" title="class in AST">OwlClassDecl</A>
+<DD>
+<DT><A HREF="./AST/OwlClassUse.html#getSubClasses()"><B>getSubClasses()</B></A> -
+Method in class AST.<A HREF="./AST/OwlClassUse.html" title="class in AST">OwlClassUse</A>
+<DD>
<DT><A HREF="./AST/JavaCharStream.html#GetSuffix(int)"><B>GetSuffix(int)</B></A> -
Method in class AST.<A HREF="./AST/JavaCharStream.html" title="class in AST">JavaCharStream</A>
<DD>
@@ -2809,6 +2845,12 @@ Method in class AST.<A HREF="./AST/Specification.html" title="class in AST">Spec
<DT><A HREF="./AST/Specification.html#getXmlHeaderNoTransform()"><B>getXmlHeaderNoTransform()</B></A> -
Method in class AST.<A HREF="./AST/Specification.html" title="class in AST">Specification</A>
<DD>
+<DT><A HREF="./AST/ASTNode.html#goStart()"><B>goStart()</B></A> -
+Method in class AST.<A HREF="./AST/ASTNode.html" title="class in AST">ASTNode</A>
+<DD>
+<DT><A HREF="./AST/Start.html#goStart()"><B>goStart()</B></A> -
+Method in class AST.<A HREF="./AST/Start.html" title="class in AST">Start</A>
+<DD>
</DL>
<HR>
<A NAME="_H_"><!-- --></A><H2>
@@ -2840,6 +2882,9 @@ Variable in class AST.<A HREF="./AST/JavaCharStream.html" title="class in AST">J
<DT><A HREF="./AST/ASTNode.html#inCircle"><B>inCircle</B></A> -
Variable in class AST.<A HREF="./AST/ASTNode.html" title="class in AST">ASTNode</A>
<DD>
+<DT><A HREF="./AST/ASTNode.html#ind(int)"><B>ind(int)</B></A> -
+Method in class AST.<A HREF="./AST/ASTNode.html" title="class in AST">ASTNode</A>
+<DD>
<DT><A HREF="./AST/OwlParserTokenManager.html#input_stream"><B>input_stream</B></A> -
Variable in class AST.<A HREF="./AST/OwlParserTokenManager.html" title="class in AST">OwlParserTokenManager</A>
<DD>
@@ -3786,6 +3831,9 @@ Method in class AST.<A HREF="./AST/XmlnsXsd.html" title="class in AST">XmlnsXsd<
<A NAME="_N_"><!-- --></A><H2>
<B>N</B></H2>
<DL>
+<DT><A HREF="./AST/OClass.html#name()"><B>name()</B></A> -
+Method in class AST.<A HREF="./AST/OClass.html" title="class in AST">OClass</A>
+<DD>
<DT><A HREF="./AST/Token.html#newToken(int)"><B>newToken(int)</B></A> -
Static method in class AST.<A HREF="./AST/Token.html" title="class in AST">Token</A>
<DD>Returns a new Token object, by default.
@@ -3813,7 +3861,7 @@ Constructor for class AST.<A HREF="./AST/OClass.html" title="class in AST">OClas
<DT><A HREF="./AST/OClass.html#OClass()"><B>OClass()</B></A> -
Constructor for class AST.<A HREF="./AST/OClass.html" title="class in AST">OClass</A>
<DD>
-<DT><A HREF="./AST/OClass.html#OClass(AST.List, AST.List)"><B>OClass(List, List)</B></A> -
+<DT><A HREF="./AST/OClass.html#OClass(AST.List, AST.List, java.lang.String)"><B>OClass(List, List, String)</B></A> -
Constructor for class AST.<A HREF="./AST/OClass.html" title="class in AST">OClass</A>
<DD>
<DT><A HREF="./AST/OwlParserConstants.html#OCTAL_LITERAL"><B>OCTAL_LITERAL</B></A> -
@@ -5288,6 +5336,9 @@ Method in class AST.<A HREF="./AST/RdfType.html" title="class in AST">RdfType</A
<DT><A HREF="./AST/FloatElement.html#setFLOAT_LITERAL(java.lang.String)"><B>setFLOAT_LITERAL(String)</B></A> -
Method in class AST.<A HREF="./AST/FloatElement.html" title="class in AST">FloatElement</A>
<DD>
+<DT><A HREF="./AST/OClass.html#setId(java.lang.String)"><B>setId(String)</B></A> -
+Method in class AST.<A HREF="./AST/OClass.html" title="class in AST">OClass</A>
+<DD>
<DT><A HREF="./AST/OwlClassDecl.html#setId(java.lang.String)"><B>setId(String)</B></A> -
Method in class AST.<A HREF="./AST/OwlClassDecl.html" title="class in AST">OwlClassDecl</A>
<DD>
@@ -5960,7 +6011,7 @@ Constructor for class AST.<A HREF="./AST/XmlnsXsd.html" title="class in AST">Xml
<TR ALIGN="center" VALIGN="top">
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="./AST/package-summary.html"><FONT CLASS="NavBarFont1"><B>Package</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <FONT CLASS="NavBarFont1">Class</FONT> </TD>
- <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="./AST/package-tree.html"><FONT CLASS="NavBarFont1"><B>Tree</B></FONT></A> </TD>
+ <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="./overview-tree.html"><FONT CLASS="NavBarFont1"><B>Tree</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="./deprecated-list.html"><FONT CLASS="NavBarFont1"><B>Deprecated</B></FONT></A> </TD>
<TD BGCOLOR="#FFFFFF" CLASS="NavBarCell1Rev"> <FONT CLASS="NavBarFont1Rev"><B>Index</B></FONT> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="./help-doc.html"><FONT CLASS="NavBarFont1"><B>Help</B></FONT></A> </TD>
diff --git a/javadoc/index.html b/javadoc/index.html
index a25b44eba0131272b8a75766ababf0df1ea18951..7a13ef711282479b76ace0b7ac90165ed14fda5b 100644
--- a/javadoc/index.html
+++ b/javadoc/index.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc on Thu Nov 09 10:56:11 CET 2006-->
+<!-- Generated by javadoc on Wed Nov 29 08:46:40 CET 2006-->
<TITLE>
Generated Documentation (Untitled)
</TITLE>
diff --git a/javadoc/overview-tree.html b/javadoc/overview-tree.html
index 5cdd3119bafc7dae38b7ca59f2f2deca926c9e0e..f53e3d5781a1cc77c229f34963a513dee8cde262 100644
--- a/javadoc/overview-tree.html
+++ b/javadoc/overview-tree.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:10 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:40 CET 2006 -->
<TITLE>
Class Hierarchy
</TITLE>
diff --git a/javadoc/serialized-form.html b/javadoc/serialized-form.html
index 271897a2962f21be66fb454ae304f1a67e236dd2..bfc388ff20a00882fd338772047f3a61f599baed 100644
--- a/javadoc/serialized-form.html
+++ b/javadoc/serialized-form.html
@@ -2,7 +2,7 @@
<!--NewPage-->
<HTML>
<HEAD>
-<!-- Generated by javadoc (build 1.5.0_08) on Thu Nov 09 10:56:10 CET 2006 -->
+<!-- Generated by javadoc (build 1.5.0_08) on Wed Nov 29 08:46:40 CET 2006 -->
<TITLE>
Serialized Form
</TITLE>
@@ -35,7 +35,7 @@ function windowTitle()
<TR ALIGN="center" VALIGN="top">
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="AST/package-summary.html"><FONT CLASS="NavBarFont1"><B>Package</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <FONT CLASS="NavBarFont1">Class</FONT> </TD>
- <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="AST/package-tree.html"><FONT CLASS="NavBarFont1"><B>Tree</B></FONT></A> </TD>
+ <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="overview-tree.html"><FONT CLASS="NavBarFont1"><B>Tree</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="deprecated-list.html"><FONT CLASS="NavBarFont1"><B>Deprecated</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="index-all.html"><FONT CLASS="NavBarFont1"><B>Index</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="help-doc.html"><FONT CLASS="NavBarFont1"><B>Help</B></FONT></A> </TD>
@@ -212,7 +212,7 @@ int <B>errorCode</B></PRE>
<TR ALIGN="center" VALIGN="top">
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="AST/package-summary.html"><FONT CLASS="NavBarFont1"><B>Package</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <FONT CLASS="NavBarFont1">Class</FONT> </TD>
- <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="AST/package-tree.html"><FONT CLASS="NavBarFont1"><B>Tree</B></FONT></A> </TD>
+ <TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="overview-tree.html"><FONT CLASS="NavBarFont1"><B>Tree</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="deprecated-list.html"><FONT CLASS="NavBarFont1"><B>Deprecated</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="index-all.html"><FONT CLASS="NavBarFont1"><B>Index</B></FONT></A> </TD>
<TD BGCOLOR="#EEEEFF" CLASS="NavBarCell1"> <A HREF="help-doc.html"><FONT CLASS="NavBarFont1"><B>Help</B></FONT></A> </TD>