Uses of Class
godel.Godel3.TExpr

Uses of Godel3.TExpr in godel

Methods in godel that return Godel3.TExpr

(package private) Godel3.TExpr	Godel3.expr10() Function calls, variables, numbers,[], (expr),duples
(package private) Godel3.TExpr	Godel3.expr2(int vareq) if, case and let and || operator
(package private) Godel3.TExpr	Godel3.expr3() && operator
(package private) Godel3.TExpr	Godel3.expr4() relational operators
(package private) Godel3.TExpr	Godel3.expr5()
(package private) Godel3.TExpr	Godel3.expr6() + and -
(package private) Godel3.TExpr	Godel3.expr7() , `div`, `mod`
(package private) Godel3.TExpr	Godel3.expr9() !! operator