edu.toronto.cs.smv
Class VariableTable.CaseTranslator

java.lang.Object
  extended by edu.toronto.cs.smv.VariableTable.CaseTranslator
Enclosing class:
VariableTable

public static class VariableTable.CaseTranslator
extends java.lang.Object


Constructor Summary
VariableTable.CaseTranslator()
           
 
Method Summary
 VariableTable.CaseTranslator addCase(MvSet cond, MvSet stmt)
           
 VariableTable.CaseTranslator 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

VariableTable.CaseTranslator

public VariableTable.CaseTranslator()
Method Detail

addCase

public VariableTable.CaseTranslator addCase(MvSet cond,
                                            MvSet stmt)

addDefault

public VariableTable.CaseTranslator addDefault(MvSet stmt)

compute

public MvSet compute()