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