Uses of Class
at.jku.ssw.fp.sect04_4.visitor_fp.Expr
-
Packages that use Expr Package Description at.jku.ssw.fp.sect04_4.visitor_fp -
-
Uses of Expr in at.jku.ssw.fp.sect04_4.visitor_fp
Subclasses of Expr in at.jku.ssw.fp.sect04_4.visitor_fp Modifier and Type Class Description static class
Expr.And
Class representing and-expressions.(package private) static class
Expr.BinOp
Abstract base class for binary expressions.static class
Expr.Lit
Class representing literal expressions.static class
Expr.Not
Class representing not-expressions.static class
Expr.Or
Class representing or-expressions.static class
Expr.Var
The class representing variable expressions.Fields in at.jku.ssw.fp.sect04_4.visitor_fp declared as Expr Modifier and Type Field Description Expr
Expr.BinOp. left
The left subexpression of the binary expressionExpr
Expr.BinOp. right
The right subexpression of the binary expressionExpr
Expr.Not. sub
The subexpression of this not-expression.Methods in at.jku.ssw.fp.sect04_4.visitor_fp that return Expr Modifier and Type Method Description (package private) static Expr
Demo_ExprApply. simplify(Expr expr)
Methods in at.jku.ssw.fp.sect04_4.visitor_fp with parameters of type Expr Modifier and Type Method Description (package private) static boolean
Demo_ExprApply. eval(Expr expr, Bindings bds)
(package private) static boolean
Demo_ExprApply. isLitValue(Expr expr, boolean value)
static Expr.And
Expr. mkAnd(Expr left, Expr right)
Returns an and-expression with a left and right subexpression.static Expr.Not
Expr. mkNot(Expr expr)
Creates an not-expression with a subexpression.static Expr.Or
Expr. mkOr(Expr left, Expr right)
Creates an or-expression with a left and right subexpression.static String
Demo_ExprApply. mkString(Expr expr)
(package private) static void
Demo_ExprApply. print(Expr expr, String ident)
(package private) static Expr
Demo_ExprApply. simplify(Expr expr)
Constructors in at.jku.ssw.fp.sect04_4.visitor_fp with parameters of type Expr Constructor Description And(Expr left, Expr right)
Constructor initializing left and right subexpressions.BinOp(Expr left, Expr right)
Constructor initializing left and right subexpressions.Not(Expr sub)
Constructor initializing the subexpression.Or(Expr left, Expr right)
Constructor initializing left and right subexpressions.
-