org.deri.wsmo4j.logicalexpression
Class UniversalQuantificationImpl
java.lang.Object
org.deri.wsmo4j.logicalexpression.LogicalExpressionImpl
org.deri.wsmo4j.logicalexpression.UnaryImpl
org.deri.wsmo4j.logicalexpression.QuantifiedImpl
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
Fields inherited from class org.deri.wsmo4j.logicalexpression.UnaryImpl |
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 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 |
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
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.