Uses of Class
at.jku.ssw.fp.sect04_4.visitor_fp.Expr.And
-
Packages that use Expr.And Package Description at.jku.ssw.fp.sect04_4.visitor_fp -
-
Uses of Expr.And in at.jku.ssw.fp.sect04_4.visitor_fp
Methods in at.jku.ssw.fp.sect04_4.visitor_fp that return Expr.And Modifier and Type Method Description static Expr.And
Expr. mkAnd(Expr left, Expr right)
Returns an and-expression with a left and right subexpression.
-