edu.toronto.cs.smv
Class SMVModule.CaseStatement

java.lang.Object
  extended by edu.toronto.cs.smv.SMVModule.CaseStatement
Enclosing class:
SMVModule

public static class SMVModule.CaseStatement
extends java.lang.Object


Constructor Summary
SMVModule.CaseStatement()
           
 
Method Summary
 SMVModule.CaseStatement addCase(MvSet cond, MvSet stmt)
           
 SMVModule.CaseStatement addCase(SMVModule.Variable v, MvSet stmt)
           
 SMVModule.CaseStatement addDefault(MvSet stmt)
           
 MvSet compute()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

SMVModule.CaseStatement

public SMVModule.CaseStatement()
Method Detail

addCase

public SMVModule.CaseStatement addCase(SMVModule.Variable v,
                                       MvSet stmt)

addCase

public SMVModule.CaseStatement addCase(MvSet cond,
                                       MvSet stmt)

addDefault

public SMVModule.CaseStatement addDefault(MvSet stmt)

compute

public MvSet compute()