edu.toronto.cs.expr
Interface ExprFactory

All Known Implementing Classes:
ExprFactoryImpl

public interface ExprFactory


Method Summary
 Expr cannonize(Expr expr)
          Returns a cannonical version of an expression
 Expr falseExpr()
          Returns the 'false' constant
 Expr intExpr(int n)
          returns an integer expression
 Expr op(Operator op)
          Expression with an arbitrary operator
 Expr trueExpr()
          Returns the 'true' constant
 Expr var(java.lang.String name)
          expression with a nullary opertor
 

Method Detail

intExpr

Expr intExpr(int n)
returns an integer expression

Parameters:
n - an int value
Returns:
an Expr value

var

Expr var(java.lang.String name)
expression with a nullary opertor

Parameters:
name - a String value
Returns:
an Expr value

op

Expr op(Operator op)
Expression with an arbitrary operator

Parameters:
op - an Opeartor value
Returns:
an Expr value

trueExpr

Expr trueExpr()
Returns the 'true' constant

Returns:
an Expr value

falseExpr

Expr falseExpr()
Returns the 'false' constant

Returns:
an Expr value

cannonize

Expr cannonize(Expr expr)
Returns a cannonical version of an expression

Parameters:
expr - an Expr value
Returns:
an Expr value