public override PathCond AndNot(CachedAtom cond) { if (conds.Contains(cond)) { return FALSE; } else { return Make(AddItem(this.conds, cond.Negate())); } }
public override PathCond AndNot(CachedAtom cond) { if (this.Equals(cond)) { return FALSE; } else { return Conj.Make(this, cond.Negate()); } }
public override PathCond AndNot(CachedAtom cond) { if (conds.Contains(cond)) { return(FALSE); } else { return(Make(AddItem(this.conds, cond.Negate()))); } }
public override PathCond AndNot(CachedAtom cond) { if (this.Equals(cond)) { return(FALSE); } else { return(Conj.Make(this, cond.Negate())); } }
public override PathCond AndNot(CachedAtom cond) { return Conj.Make(this, cond.Negate()); }
public override PathCond AndNot(CachedAtom cond) { return(Conj.Make(this, cond.Negate())); }