orc.ast.extended
Class Clause

java.lang.Object
  orc.ast.extended.Clause

public class Clause
extends java.lang.Object

Field Summary

Expression	body
java.util.List<Pattern>	ps

Constructor Summary

Clause(java.util.List<Pattern> ps, Expression body)

Method Summary

Expression

simplify(java.util.List<Var> formals, Expression otherwise)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

ps

public java.util.List<Pattern> ps

body

public Expression body

Constructor Detail

Clause

public Clause(java.util.List<Pattern> ps,
              Expression body)

Method Detail

simplify

public Expression simplify(java.util.List<Var> formals,
                           Expression otherwise)