using System;
using Ilog.Language.Util;

public class SetOfTest
{
  public static void Main ()
    {
      String[] letters = new String[]
      {"a","b","c","d","e","f","g","h","i","j","k","l","m",
       "n","o","p","q","r","s","t","u","v","w","x","y","z"};

      SetOf A = new SetOf(letters);
      A.Add("a").Add("f").Add("i").Add("k").Add("o").Add("v").Add("y");
      SetOf B = new SetOf(A);

      B.Add("e").Add("a").Add("l").Add("j").Add("m").Add("v").Add("v").Add("y").Add("q").Add("b");

      Console.WriteLine("A = {0}",A);
      Console.WriteLine("A has {0} elements",A.Count);
      Console.WriteLine("B = {0}",B);
      Console.WriteLine("B has {0} elements",B.Count);
      Console.WriteLine("TOP = {0}",A.Top);
      Console.WriteLine("TOP has {0} elements",B.Top.Count);

      Console.WriteLine(A < A);	// false
      Console.WriteLine(A <= B);// true
      Console.WriteLine(A < B); // true
      Console.WriteLine(B <= A);// false

      foreach (Object elt in B)
	Console.Write(elt);
      Console.WriteLine();

      A.Clear();
      B.Clear();

      A.Add("t").Add("h").Add("i").Add("s").Add("o").Add("n").Add("e").Add("y").Add("i").Add("p");
      B.Add("t").Add("h").Add("u").Add("s").Add("c").Add("o").Add("m").Add("p").Add("l").Add("x");
      Console.WriteLine("A = {0}",A);
      Console.WriteLine("B = {0}",B);
      Console.WriteLine("-A = {0}",-A);
      Console.WriteLine("-B = {0}",-B);
      Console.WriteLine("A+B = {0}",A+B);
      Console.WriteLine("A&B = {0}",A&B);
      Console.WriteLine("A^B = {0}",A^B);
      Console.WriteLine("A-B = {0}",A-B);
      Console.WriteLine("B-A = {0}",B-A);      
    }
}