View Javadoc

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   * Built in contructed terms (symbols) represent such constructed terms
23   * that are defined as built-in.
24   *
25   * E.g. wsml#numericAdd(1,1) (which would be in the surface
26   * syntax 1+1.
27   *
28   *
29   * <pre>
30   * Created on Sep 7, 2005
31   * Committed by $Author$
32   * $Source$,
33   * </pre>
34   *
35   * @author Holger Lausen (holger.lausen@deri.org)
36   *
37   * @version $Revision$ $Date$
38   */
39  public interface BuiltInConstructedTerm
40          extends ConstructedTerm {
41  
42  }
43  /*
44   * $Log$
45   * Revision 1.3  2005/09/09 11:58:20  holgerlausen
46   * fixed header logexp no longer extension
47   *
48   * Revision 1.2  2005/09/09 11:03:14  marin_dimitrov
49   * formatting
50   *
51   * Revision 1.1  2005/09/07 14:43:50  holgerlausen
52   * Added Explicit Support for BuiltIn Atoms and Constructed Terms
53   *
54   *
55   */