org.deri.wsmo4j.logicalexpression
Class QuantifiedImpl
java.lang.Object
org.deri.wsmo4j.logicalexpression.LogicalExpressionImpl
org.deri.wsmo4j.logicalexpression.UnaryImpl
org.deri.wsmo4j.logicalexpression.QuantifiedImpl
- All Implemented Interfaces:
- org.omwg.logicalexpression.CompoundExpression, org.omwg.logicalexpression.LogicalExpression, org.omwg.logicalexpression.Quantified, org.omwg.logicalexpression.Unary
- Direct Known Subclasses:
- ExistentialQuantificationImpl, UniversalQuantificationImpl
public abstract class QuantifiedImpl
- extends UnaryImpl
- implements org.omwg.logicalexpression.Quantified
This abstract class reunites all quantified logical expressions
(e.g qfier {Term} LogExpr)
- Version:
- $Revision: 1946 $ $Date: 2007-04-02 15:13:28 +0300 (Mon, 02 Apr 2007) $
- Author:
- DERI Innsbruck, reto.krummenacher@deri.org
- See Also:
Quantified
Field Summary |
protected Set<org.omwg.ontology.Variable> |
variables
|
Fields inherited from class org.deri.wsmo4j.logicalexpression.UnaryImpl |
expr |
Constructor Summary |
QuantifiedImpl(Set<org.omwg.ontology.Variable> variables,
org.omwg.logicalexpression.LogicalExpression expr)
|
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 |
variables
protected Set<org.omwg.ontology.Variable> variables
QuantifiedImpl
public QuantifiedImpl(Set<org.omwg.ontology.Variable> variables,
org.omwg.logicalexpression.LogicalExpression expr)
throws IllegalArgumentException
- Parameters:
variables
- the set of variables that are quantified for the expressionexpr
- the logical expression
- Throws:
IllegalArgumentException
- in case the operator is different from EXISTS or FORALL
in case the logical expression contains a nested CONSTRAINT
in case the Set of variables is null
in case the arguments of the list aren't all of Type Variable
listVariables
public Set<org.omwg.ontology.Variable> listVariables()
- Specified by:
listVariables
in interface org.omwg.logicalexpression.Quantified
- Returns:
- the set of variables that are quantified for the expression
- See Also:
Quantified.listVariables()
accept
public abstract void accept(org.omwg.logicalexpression.Visitor v)
- Specified by:
accept
in interface org.omwg.logicalexpression.LogicalExpression
- Specified by:
accept
in class UnaryImpl
- See Also:
LogicalExpression.accept(org.omwg.logicalexpression.Visitor)
setVariables
public void setVariables(Set<org.omwg.ontology.Variable> variables)
- Specified by:
setVariables
in interface org.omwg.logicalexpression.Quantified
Copyright © 2004-2008 Ontotext Lab.. All Rights Reserved.