1 /*
2 wsmo4j - a WSMO API and Reference Implementation
3
4 Copyright (c) 2005, University of Innsbruck, Austria
5
6 This library is free software; you can redistribute it and/or modify it under
7 the terms of the GNU Lesser General Public License as published by the Free
8 Software Foundation; either version 2.1 of the License, or (at your option)
9 any later version.
10 This library is distributed in the hope that it will be useful, but WITHOUT
11 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
12 FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more
13 details.
14 You should have received a copy of the GNU Lesser General Public License along
15 with this library; if not, write to the Free Software Foundation, Inc.,
16 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
17 */
18 package org.omwg.logicalexpression.terms;
19
20
21 /**
22 * This interface represents a term of a logical expression
23 *
24 * @author DERI Innsbruck, reto.krummenacher@deri.org
25 * @version $Revision: 882 $ $Date: 2005-09-09 14:58:21 +0300 (Fri, 09 Sep 2005) $
26 */
27 public interface Term {
28
29 /**
30 * @see org.omwg.logicalexpression.terms.Visitor
31 */
32 void accept(Visitor v);
33 }
34 /*
35 * $Log$
36 * Revision 1.3 2005/09/09 11:58:20 holgerlausen
37 * fixed header logexp no longer extension
38 *
39 * Revision 1.2 2005/09/09 11:03:14 marin_dimitrov
40 * formatting
41 *
42 * Revision 1.1 2005/09/02 13:32:44 ohamano
43 * move logicalexpression packages from ext to core
44 * move tests from logicalexpression.test to test module
45 *
46 * Revision 1.6 2005/08/19 14:18:03 ohamano
47 * rename the interface VisitorTerms to Visitor
48 *
49 * Revision 1.5 2005/08/16 16:28:29 nathaliest
50 * JavaDoc added
51 * Method getArgument(int) at UnaryImpl, QuantifiedImpl and BinaryImpl changed
52 * Method equals(Object) at QuantifiedImpl changed
53 *
54 * Revision 1.4 2005/07/18 09:43:08 ohamano
55 * visitor pattern for logical expression tree structure
56 * move operator to compound expressions
57 *
58 * Revision 1.3 2005/06/22 13:32:02 ohamano
59 * change header
60 *
61 * Revision 1.2 2005/06/18 14:06:08 holgerlausen
62 * added local LEFactory, updated javadoc, refactored LEVariable > Variable etc. parse(String) for LEFactory is running now
63 *
64 * Revision 1.1 2005/06/16 13:55:23 ohamano
65 * first import
66 *
67 */