org.omwg.logicalexpression
Interface Quantified

All Superinterfaces:

CompoundExpression, LogicalExpression, Unary

All Known Subinterfaces:

ExistentialQuantification, UniversalQuantification

public interface Quantified
extends Unary

This interface represents quantified logical expressions, i.e. universally and existentially quantified expressions.

Version:

$Revision: 1.4 $ $Date: 2005/09/21 06:31:55 $

Author:

DERI Innsbruck, reto.krummenacher@deri.org

See Also:

Unary

Method Summary

java.util.Set	listVariables()
void	setVariables(java.util.Set variables)

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

accept

Method Detail

listVariables

java.util.Set listVariables()

Returns:

the set of variables that are quantified for the expression

setVariables

void setVariables(java.util.Set variables)