Uses of Class
at.jku.ssw.fp.sect04_4.visitor_nofp.Expr.Not
-
Packages that use Expr.Not Package Description at.jku.ssw.fp.sect04_4.visitor_nofp -
-
Uses of Expr.Not in at.jku.ssw.fp.sect04_4.visitor_nofp
Methods in at.jku.ssw.fp.sect04_4.visitor_nofp that return Expr.Not Modifier and Type Method Description static Expr.Not
Expr. mkNot(Expr expr)
Creates an not-expression with a subexpression.Methods in at.jku.ssw.fp.sect04_4.visitor_nofp with parameters of type Expr.Not Modifier and Type Method Description String
ToStringVisitor. visitNot(Expr.Not not)
R
Visitor. visitNot(Expr.Not not)
Visits a not-expression.
-