/// <summary>
/// Insert a case at position
/// </summary>
/// <param name="index"></param>
/// <param name="c"></param>
public void InsertCase(int index, UnionCase c)
{
cases_.Insert(index, c);
}
/// <summary>
/// Remove a UnionCase from cases.
/// </summary>
/// <param name="c"></param>
public void RemoveCase(UnionCase c)
{
cases_.Remove(c);
}
/// <summary>
/// Add a UnionCase instance
/// </summary>
/// <param name="c"></param>
public void AddCase(UnionCase c)
{
cases_.Add(c);
}