gov.nasa.jpf.symbc.veritesting.ast.transformations.SPFCases

Class SPFCaseList

java.lang.Object

gov.nasa.jpf.symbc.veritesting.ast.transformations.SPFCases.SPFCaseList

public class SPFCaseList
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
java.util.LinkedHashSet<SPFCaseStmt>	casesList

Constructor Summary

Constructors

Constructor and Description
SPFCaseList()
SPFCaseList(java.util.LinkedHashSet<SPFCaseStmt> spfCaseList)

Method Summary

Modifier and Type	Method and Description
void	addAll(SPFCaseList cl)
void	addCase(SPFCaseStmt c)
void	print()

Methods inherited from class java.lang.Object

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

Field Detail

casesList

public final java.util.LinkedHashSet<SPFCaseStmt> casesList

Constructor Detail

SPFCaseList

public SPFCaseList(java.util.LinkedHashSet<SPFCaseStmt> spfCaseList)

SPFCaseList

public SPFCaseList()

Method Detail

addCase

public void addCase(SPFCaseStmt c)

addAll

public void addAll(SPFCaseList cl)

print

public void print()