org.omwg.logicalexpression
Interface UniversalQuantification

All Superinterfaces:

CompoundExpression, LogicalExpression, Quantified, Unary

public interface UniversalQuantification
extends Quantified

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

Version:

$Revision: 1.3 $ $Date: 2005/09/09 11:53:21 $

Author:

DERI Innsbruck, reto.krummenacher@deri.org, DERI Innsbruck, holger.lausen@deri.org, DERI Innsbruck, thomas.haselwanter@deri.org

See Also:

Unary

Method Summary

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

accept