org.clafer.ast

Interface AstBoolExpr

All Superinterfaces:

AstExpr

All Known Implementing Classes:

AstBoolArithm, AstCompare, AstIfThenElse, AstMembership, AstNot, AstQuantify, AstSetTest

public interface AstBoolExpr
extends AstExpr

Author:

jimmy

Method Summary

Methods inherited from interface org.clafer.ast.AstExpr

accept