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 java.util.Set;
22
23 import org.omwg.ontology.Variable;
24
25
26 /**
27 * This interface represents quantified logical expressions, i.e. universally and existentially
28 * quantified expressions.
29 * @author DERI Innsbruck, reto.krummenacher@deri.org
30 * @version $Revision: 1946 $ $Date: 2007-04-02 15:13:28 +0300 (Mon, 02 Apr 2007) $
31 * @see org.omwg.logicalexpression.Unary
32 */
33 public interface Quantified
34 extends Unary {
35
36 /**
37 * @return the set of variables that are quantified for the expression
38 */
39 public Set <Variable> listVariables();
40
41 public void setVariables(Set <Variable> variables);
42 }
43 /*
44 * $Log$
45 * Revision 1.5 2007/04/02 12:13:15 morcen
46 * Generics support added to wsmo-api, wsmo4j and wsmo-test
47 *
48 * Revision 1.4 2005/09/21 06:31:55 holgerlausen
49 * allowing to set arguments rfe 1290049
50 *
51 * Revision 1.3 2005/09/09 11:58:19 holgerlausen
52 * fixed header logexp no longer extension
53 *
54 * Revision 1.2 2005/09/09 11:12:12 marin_dimitrov
55 * formatting
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.6 2005/08/30 14:14:20 haselwanter
62 * Merging LE API to HEAD.
63 *
64 * Revision 1.5.2.1 2005/08/30 11:50:28 haselwanter
65 * Adapting javadocs.
66 *
67 * Revision 1.5 2005/07/27 15:52:28 ohamano
68 * get<Set> to list<Set>
69 * get(int i) to find(int i)
70 *
71 * Revision 1.4 2005/06/22 13:32:01 ohamano
72 * change header
73 *
74 * Revision 1.3 2005/06/20 08:30:03 holgerlausen
75 * formating
76 *
77 * Revision 1.2 2005/06/18 14:06:10 holgerlausen
78 * added local LEFactory, updated javadoc, refactored LEVariable > Variable etc. parse(String) for LEFactory is running now
79 *
80 * Revision 1.1 2005/06/16 13:55:23 ohamano
81 * first import
82 *
83 */