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 /**
22 * This interface represents all binary logical expressions, as e.g. conjunction or implications.
23 * @author DERI Innsbruck, reto.krummenacher@deri.org
24 * @version $Revision: 1029 $ $Date: 2005-09-21 09:31:55 +0300 (Wed, 21 Sep 2005) $
25 */
26 public interface Binary
27 extends CompoundExpression {
28
29 LogicalExpression getLeftOperand();
30
31 void setLeftOperand(LogicalExpression le);
32
33 LogicalExpression getRightOperand();
34
35 void setRightOperand(LogicalExpression le);
36
37 }
38 /*
39 * $Log$
40 * Revision 1.5 2005/09/21 06:31:55 holgerlausen
41 * allowing to set arguments rfe 1290049
42 *
43 * Revision 1.4 2005/09/09 11:58:19 holgerlausen
44 * fixed header logexp no longer extension
45 *
46 * Revision 1.3 2005/09/09 11:12:12 marin_dimitrov
47 * formatting
48 *
49 * Revision 1.2 2005/09/07 06:58:29 holgerlausen
50 * *** empty log message ***
51 *
52 * Revision 1.1 2005/09/02 13:32:43 ohamano
53 * move logicalexpression packages from ext to core
54 * move tests from logicalexpression.test to test module
55 *
56 * Revision 1.5 2005/08/30 14:14:20 haselwanter
57 * Merging LE API to HEAD.
58 *
59 * Revision 1.4.2.2 2005/08/30 11:50:28 haselwanter
60 * Adapting javadocs.
61 *
62 * Revision 1.4.2.1 2005/08/29 14:02:44 haselwanter
63 * Binaries have a left and a right operand.
64 *
65 * Revision 1.4 2005/06/22 13:32:01 ohamano
66 * change header
67 *
68 * Revision 1.3 2005/06/20 08:30:03 holgerlausen
69 * formating
70 *
71 * Revision 1.2 2005/06/18 14:06:10 holgerlausen
72 * added local LEFactory, updated javadoc, refactored LEVariable > Variable etc. parse(String) for LEFactory is running now
73 *
74 * Revision 1.1 2005/06/16 13:55:23 ohamano
75 * first import
76 *
77 */