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.deri.wsmo4j.logicalexpression;
19  
20  import org.omwg.logicalexpression.*;
21  import org.omwg.logicalexpression.Visitor;
22  import org.omwg.logicalexpression.terms.*;
23  
24  /**
25   * Represents a membership molecule
26   *
27   * <pre>
28   * Created on Sep 19, 2005
29   * Committed by $Author$
30   * $Source$,
31   * </pre>
32   *
33   * @author Holger Lausen (holger.lausen@deri.org)
34   *
35   * @version $Revision$ $Date$
36   */
37  public class MemberShipMoleculeImpl 
38          extends MoleculeImpl 
39          implements MembershipMolecule {
40  
41      /**
42       * @param leftTerm
43       * @param rightTerm
44       * @throws IllegalArgumentException
45       */
46      public MemberShipMoleculeImpl(Term leftTerm, Term rightTerm) throws IllegalArgumentException {
47          super(leftTerm, rightTerm);
48      }
49      
50      public void accept(Visitor v) { 
51          v.visitMemberShipMolecule(this);
52      }
53      
54      public boolean equals(Object o){
55          if (!(o instanceof MembershipMolecule)){
56              return false;
57          }
58          return super.equals(o);
59      }
60  
61  }
62  
63  
64  /*
65   *$Log$
66   *Revision 1.1  2005/09/20 13:21:31  holgerlausen
67   *refactored logical expression API to have simple molecules and compound molecules (RFE 1290043)
68   *
69   */