/// <summary> /// Lesser than operator on two Bdds /// </summary> /// <param name="l">Left Bdd</param> /// <param name="r">Right Bdd</param> /// <returns>Resulting Bdd</returns> public static Bdd operator <(Bdd l, Bdd r) { return(Kernel.Lesser(l, r)); }