org.deri.wsmo4j.logicalexpression
Class UniversalQuantificationImpl

java.lang.Object
  extended by org.deri.wsmo4j.logicalexpression.LogicalExpressionImpl
      extended by org.deri.wsmo4j.logicalexpression.UnaryImpl
          extended by org.deri.wsmo4j.logicalexpression.QuantifiedImpl
              extended by org.deri.wsmo4j.logicalexpression.UniversalQuantificationImpl
All Implemented Interfaces:
org.omwg.logicalexpression.CompoundExpression, org.omwg.logicalexpression.LogicalExpression, org.omwg.logicalexpression.Quantified, org.omwg.logicalexpression.Unary, org.omwg.logicalexpression.UniversalQuantification

public class UniversalQuantificationImpl
extends QuantifiedImpl
implements org.omwg.logicalexpression.UniversalQuantification

Author:
DERI Innsbruck, reto.krummenacher@deri.org, DERI Innsbruck, thomas.haselwanter@deri.org

Field Summary
 
Fields inherited from class org.deri.wsmo4j.logicalexpression.QuantifiedImpl
variables
 
Fields inherited from class org.deri.wsmo4j.logicalexpression.UnaryImpl
expr
 
Constructor Summary
UniversalQuantificationImpl(Set<org.omwg.ontology.Variable> variables, org.omwg.logicalexpression.LogicalExpression expr)
           
UniversalQuantificationImpl(org.omwg.ontology.Variable variable, org.omwg.logicalexpression.LogicalExpression expr)
           
 
Method Summary
 void accept(org.omwg.logicalexpression.Visitor v)
           
 boolean equals(Object o)
           The equals method implements an equivalence relation on non-null object references.
 
Methods inherited from class org.deri.wsmo4j.logicalexpression.QuantifiedImpl
listVariables, setVariables
 
Methods inherited from class org.deri.wsmo4j.logicalexpression.UnaryImpl
getOperand, hashCode, listOperands, setOperand, setOperands
 
Methods inherited from class org.deri.wsmo4j.logicalexpression.LogicalExpressionImpl
getStringRepresentation, setStringRepresentation, toString, toString
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface org.omwg.logicalexpression.Quantified
listVariables, setVariables
 
Methods inherited from interface org.omwg.logicalexpression.Unary
getOperand, setOperand
 
Methods inherited from interface org.omwg.logicalexpression.CompoundExpression
listOperands, setOperands
 
Methods inherited from interface org.omwg.logicalexpression.LogicalExpression
toString
 

Constructor Detail

UniversalQuantificationImpl

public UniversalQuantificationImpl(org.omwg.ontology.Variable variable,
                                   org.omwg.logicalexpression.LogicalExpression expr)
                            throws IllegalArgumentException
Throws:
IllegalArgumentException

UniversalQuantificationImpl

public UniversalQuantificationImpl(Set<org.omwg.ontology.Variable> variables,
                                   org.omwg.logicalexpression.LogicalExpression expr)
                            throws IllegalArgumentException
Throws:
IllegalArgumentException
Method Detail

accept

public void accept(org.omwg.logicalexpression.Visitor v)
Specified by:
accept in interface org.omwg.logicalexpression.LogicalExpression
Specified by:
accept in class QuantifiedImpl
See Also:
LogicalExpression.accept(org.omwg.logicalexpression.Visitor)

equals

public boolean equals(Object o)

The equals method implements an equivalence relation on non-null object references. Quantified expressions are equal if their operator, their logical expresssion and their set of variables are equal.

It is generally necessary to override the hashCode method whenever this method is overridden.

Overrides:
equals in class Object
Parameters:
o - the reference object with which to compare.
Returns:
true if this object is the same as the obj argument; false otherwise.
See Also:
Object.equals(java.lang.Object), Object.hashCode()


Copyright © 2004-2008 Ontotext Lab.. All Rights Reserved.