using System;
using buddy_sharp;

/// <summary>
/// Summary description for Class1
/// </summary>
/// 
namespace CLab
{
    public class Buddy
    {
        public Buddy()
        {
            //
            // TODO: Add constructor logic here
            //
        }
        public Bdd ite(Bdd var1, Bdd var2, Bdd var3)
        {
            return new Bdd();
        }
        /*public Bdd ithvar(Bdd var1)
        {
            return new Bdd();
        }*/
        public Bdd ithvar(int var1)
        {
            return new Bdd();
        }
        public Bdd bddTrue
        {
            get { return new Bdd(); }
        }
        public Bdd bddFalse
        {
            get { return new Bdd(); }
        }
        public Bdd biimp(Bdd var1, Bdd var2)
        {
            return new Bdd();
        }
        public int nodecount(Bdd var1)
        {
            return 0;
        }
    }
}