smtinterpol2-publicapi.xml

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<project default="javadoc">
    <target name="javadoc">
        <javadoc access="protected" author="true"
        	classpath="SMTInterpol/lib/jh-javacup-1.1.jar:Library-SMTLIB/bin:Library-SMTLIB/release:SMTInterpol/bin:SMTInterpol/release"
        	destdir="doc-smtinterpol" 
        	Doctitle="SMTInterpol 2.1 Public API"
        	nodeprecated="false" 
        	nodeprecatedlist="false" 
        	noindex="false" 
        	nonavbar="false" 
        	notree="false" 
        	source="1.8"
        	splitindex="true"
        	use="true"
        	version="true"
		Windowtitle="SMTInterpol 2.1 Public API">
              <fileset dir="." defaultexcludes="yes">
                 <include name="Library-SMTLIB/src/de/uni_freiburg/informatik/ultimate/logic/**"/>
                 <exclude name="Library-SMTLIB/src/de/uni_freiburg/informatik/ultimate/logic/simplification/**"/>
                 <exclude name="Library-SMTLIB/src/de/uni_freiburg/informatik/ultimate/logic/Theory.java"/>
                 <exclude name="Library-SMTLIB/src/de/uni_freiburg/informatik/ultimate/logic/FunctionSymbolFactory.java"/>
                 <exclude name="Library-SMTLIB/src/de/uni_freiburg/informatik/ultimate/logic/PolymorphicFunctionSymbol.java"/>
                 <exclude name="Library-SMTLIB/src/de/uni_freiburg/informatik/ultimate/logic/FormulaWalker.java"/>
                 <include name="SMTInterpol/src/de/uni_freiburg/informatik/ultimate/smtinterpol/smtlib2/SMTInterpol.java"/>
                 <include name="SMTInterpol/src/de/uni_freiburg/informatik/ultimate/smtinterpol/smtlib2/TerminationRequest.java"/>
              </fileset>

        </javadoc>

	<echo message="Generated JavaDOC API under ${basedir}/doc-smtinterpol/index.html" />
    </target>
</project>