Uses of Class
at.jku.ssw.fp.expr.Expr.Not
-
Packages that use Expr.Not Package Description at.jku.ssw.fp.expr at.jku.ssw.fp.sect05_3.parser -
-
Uses of Expr.Not in at.jku.ssw.fp.expr
Methods in at.jku.ssw.fp.expr that return Expr.Not Modifier and Type Method Description static Expr.Not
Expr. mkNot(Expr expr)
Creates an not-expression with a subexpression. -
Uses of Expr.Not in at.jku.ssw.fp.sect05_3.parser
Fields in at.jku.ssw.fp.sect05_3.parser with type parameters of type Expr.Not Modifier and Type Field Description Parser<Expr.Not>
ExprParser. notParser
Parser for not-expressions.
-