org.omwg.logicalexpression
Interface ExistentialQuantification

All Superinterfaces:

CompoundExpression, LogicalExpression, Quantified, Unary

public interface ExistentialQuantification
extends Quantified

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

Version:

$Revision: 881 $ $Date: 2005-09-09 14:53:21 +0300 (Fri, 09 Sep 2005) $

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, toString