Uses of Class
at.jku.ssw.fp.expr.Expr.And
-
Packages that use Expr.And Package Description at.jku.ssw.fp.expr at.jku.ssw.fp.sect05_3.parser -
-
Uses of Expr.And in at.jku.ssw.fp.expr
Methods in at.jku.ssw.fp.expr 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. -
Uses of Expr.And in at.jku.ssw.fp.sect05_3.parser
Fields in at.jku.ssw.fp.sect05_3.parser with type parameters of type Expr.And Modifier and Type Field Description Parser<Expr.And>
ExprParser. andParser
Parser for and-expressions.
-