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;
19
20
21 import org.omwg.logicalexpression.terms.*;
22
23
24 /**
25 * This interface stands for a molecule
26 * @author DERI Innsbruck, reto.krummenacher@deri.org
27 * @version $Revision: 1029 $ $Date: 2005-09-21 09:31:55 +0300 (Wed, 21 Sep 2005) $
28 * @see org.omwg.logicalexpression.AtomicExpression
29 * @see org.omwg.logicalexpression.AttributeSpecification
30 */
31 public interface Molecule
32 extends AtomicExpression {
33
34 public Term getLeftParameter();
35 public Term getRightParameter();
36
37 public void setRightOperand(Term t);
38 public void setLeftOperand(Term t);
39 }
40 /*
41 * $Log$
42 * Revision 1.6 2005/09/21 06:31:55 holgerlausen
43 * allowing to set arguments rfe 1290049
44 *
45 * Revision 1.5 2005/09/20 13:21:31 holgerlausen
46 * refactored logical expression API to have simple molecules and compound molecules (RFE 1290043)
47 *
48 * Revision 1.4 2005/09/09 11:58:19 holgerlausen
49 * fixed header logexp no longer extension
50 *
51 * Revision 1.3 2005/09/09 11:12:12 marin_dimitrov
52 * formatting
53 *
54 * Revision 1.2 2005/09/08 03:14:31 haselwanter
55 * Adding convenience methods for downcasted attribute specifications.
56 *
57 * Revision 1.1 2005/09/02 13:32:43 ohamano
58 * move logicalexpression packages from ext to core
59 * move tests from logicalexpression.test to test module
60 *
61 * Revision 1.8 2005/08/30 15:04:23 holgerlausen
62 * returning unmodifiable sets (or null!)
63 *
64 * Revision 1.7 2005/08/30 14:14:20 haselwanter
65 * Merging LE API to HEAD.
66 *
67 * Revision 1.6.2.1 2005/08/29 14:35:55 haselwanter
68 * Minor change. Javadoc tag udpate.
69 *
70 * Revision 1.6 2005/08/18 16:15:40 nathaliest
71 * JavaDoc added
72 *
73 * Revision 1.5 2005/07/27 15:52:28 ohamano
74 * get<Set> to list<Set>
75 * get(int i) to find(int i)
76 *
77 * Revision 1.4 2005/06/22 13:32:01 ohamano
78 * change header
79 *
80 * Revision 1.3 2005/06/20 08:30:03 holgerlausen
81 * formating
82 *
83 * Revision 1.2 2005/06/18 14:06:10 holgerlausen
84 * added local LEFactory, updated javadoc, refactored LEVariable > Variable etc. parse(String) for LEFactory is running now
85 *
86 * Revision 1.1 2005/06/16 13:55:23 ohamano
87 * first import
88 */