public bdd Not()
{
invocations++;
watch.Start();
var ret = new bdd(SylvanSharp.sylvan_sharp_not_addref(this._id), false);
watch.Stop();
return(ret);
}
public bdd Xor(bdd r)
{
invocations++;
watch.Start();
var ret = new bdd(SylvanSharp.sylvan_sharp_xor_addref(this._id, r._id), false);
watch.Stop();
return(ret);
}
public bdd GreaterThan(bdd r)
{
return(new bdd(SylvanSharp.sylvan_sharp_diff_addref(this.Id, r.Id), false));
}
public bdd Biimp(bdd r)
{
return(new bdd(SylvanSharp.sylvan_sharp_biimp_addref(this._id, r._id), false));
}
public bool NotEqual(bdd r)
{
return(this._id != r._id);
}
public bool EqualEqual(bdd r)
{
return(this._id == r._id);
}
public bdd InvImplies(bdd r)
{
return(new bdd(SylvanSharp.sylvan_sharp_invimp_addref(this.Id, r.Id), false));
}
public bdd LessThan(bdd r)
{
return(new bdd(SylvanSharp.sylvan_sharp_less_addref(this.Id, r.Id), false));
}