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: 1946 $ $Date: 2007-04-02 15:13:28 +0300 (Mon, 02 Apr 2007) $

Author:

DERI Innsbruck, reto.krummenacher@deri.org

See Also:

Unary

Method Summary

Set<Variable>	listVariables()
void	setVariables(Set<Variable> 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, toString

Method Detail

listVariables

Set<Variable> listVariables()

Returns:

the set of variables that are quantified for the expression

setVariables

void setVariables(Set<Variable> variables)