Group

public class Group {

  // Group Management

  public int Size() {...}

  public int Rank() {...}

  public static int [] Translate_ranks(Group group1, int [] ranks1,
                                       Group group2) {...}

  public static int Compare(Group group1, Group group2) {...}

  public static Group Union(Group group1, Group group2) {...}

  public static Group Intersection(Group group1, Group group2) {...}

  public static Group Difference(Group group1, Group group2) {...}

  public Group Incl(int [] ranks) {...}

  public Group Excl(int [] ranks) {...}

  public Group Range_incl(int [] [] ranges) {...}

  public Group Range_excl(int [] [] ranges) {...}

  public void finalize() {...}

  ...
}