- All Superinterfaces:
- Expr, QntExpr, Term
- All Known Subinterfaces:
- Exists1Expr, ExistsExpr, ForallExpr, LambdaExpr, LetExpr
- All Known Implementing Classes:
- Exists1ExprImpl, ExistsExprImpl, ForallExprImpl, LambdaExprImpl, LetExprImpl, Qnt1ExprImpl
public interface Qnt1Expr
extends QntExpr
An abstract quantifier-like expression with compulsory expression.
Currently the schema does not check that the Expr is compulsory,
but code should.
- Author:
- GnAST version 1.6-SNAPSHOT