public static void check_npure_bool(bdd x, bool is_pure_bool)
{
if(!BuDDySharp.not_pure_bool(x) == is_pure_bool)
{
throw new Exception("Failed");
}
}
public bdd GreaterThan(bdd r)
{
return new bdd(BuDDySharp.bdd_apply_addref(this.Id, r.Id, bddop.diff), false);
}
public bool EqualEqual(bdd r)
{
return this._id == r._id;
}
public bdd Biimp(bdd r)
{
return new bdd(BuDDySharp.bdd_biimp_addref(this._id, r._id), false);
}
public bdd And(bdd r)
{
return new bdd(BuDDySharp.bdd_and_addref(this._id, r._id), false);
}
public bdd Xor(bdd r)
{
return new bdd(BuDDySharp.bdd_xor_addref(this._id, r._id), false);
}
public bool NotEqual(bdd r)
{
return this._id != r._id;
}
public bdd LessThan(bdd r)
{
return new bdd(BuDDySharp.bdd_apply_addref(this.Id, r.Id, bddop.less), false);
}
public bdd InvImplies(bdd r)
{
return new bdd(BuDDySharp.bdd_apply_addref(this.Id, r.Id, bddop.invimp), false);
}
public static bdd test(bdd x)
{
BuDDySharp.printdot (x.Id);
return x.And (bdd.bddfalse);
}