org.deri.wsmo4j.logicalexpression
Class ExistentialQuantificationImpl

java.lang.Object
  org.deri.wsmo4j.logicalexpression.LogicalExpressionImpl
      org.deri.wsmo4j.logicalexpression.UnaryImpl
          org.deri.wsmo4j.logicalexpression.QuantifiedImpl
              org.deri.wsmo4j.logicalexpression.ExistentialQuantificationImpl

All Implemented Interfaces:

org.omwg.logicalexpression.CompoundExpression, org.omwg.logicalexpression.ExistentialQuantification, org.omwg.logicalexpression.LogicalExpression, org.omwg.logicalexpression.Quantified, org.omwg.logicalexpression.Unary

public class ExistentialQuantificationImpl
extends QuantifiedImpl
implements org.omwg.logicalexpression.ExistentialQuantification

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

ExistentialQuantificationImpl(Set<org.omwg.ontology.Variable> variables, org.omwg.logicalexpression.LogicalExpression expr)

ExistentialQuantificationImpl(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

ExistentialQuantificationImpl

public ExistentialQuantificationImpl(org.omwg.ontology.Variable variable,
                                     org.omwg.logicalexpression.LogicalExpression expr)
                              throws IllegalArgumentException

Throws:

IllegalArgumentException

ExistentialQuantificationImpl

public ExistentialQuantificationImpl(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()