term/term.h Source File

00001 /*
00002  * term.h
00003  *
00004  *  Created on: Feb 8, 2009
00005  *      Author: tdillig
00006  */
00007 
00008 #ifndef INCLUDE_TERM_H_
00009 #define INCLUDE_TERM_H_
00010 
00011 #include "ArithmeticTerm.h"
00012 #include "ConstantTerm.h"
00013 #include "FunctionTerm.h"
00014 #include "VariableTerm.h"
00015 
00016 
00017 
00018 #endif /* INCLUDE_TERM_H_ */