edu.toronto.cs.smv
Class SMVModule.BoolCaseStatement

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

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


Constructor Summary
SMVModule.BoolCaseStatement(MvSet _mvBot)
           
 
Method Summary
 SMVModule.BoolCaseStatement addCase(MvSet cond, MvSet stmt)
           
 SMVModule.BoolCaseStatement 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.BoolCaseStatement

public SMVModule.BoolCaseStatement(MvSet _mvBot)
Method Detail

addCase

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

addDefault

public SMVModule.BoolCaseStatement addDefault(MvSet stmt)

compute

public MvSet compute()