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)); }