示例#1
0
文件: Conj.cs 项目: josiahdj/SDFCalc
		public override PathCond AndNot(CachedAtom cond) {
			if (conds.Contains(cond)) {
				return FALSE;
			}
			else {
				return Make(AddItem(this.conds, cond.Negate()));
			}
		}
示例#2
0
		public override PathCond AndNot(CachedAtom cond) {
			if (this.Equals(cond)) {
				return FALSE;
			}
			else {
				return Conj.Make(this, cond.Negate());
			}
		}
示例#3
0
文件: Conj.cs 项目: glycerine/SDFCalc
 public override PathCond AndNot(CachedAtom cond)
 {
     if (conds.Contains(cond))
     {
         return(FALSE);
     }
     else
     {
         return(Make(AddItem(this.conds, cond.Negate())));
     }
 }
示例#4
0
 public override PathCond AndNot(CachedAtom cond)
 {
     if (this.Equals(cond))
     {
         return(FALSE);
     }
     else
     {
         return(Conj.Make(this, cond.Negate()));
     }
 }
示例#5
0
文件: Disj.cs 项目: josiahdj/SDFCalc
		public override PathCond AndNot(CachedAtom cond) { return Conj.Make(this, cond.Negate()); }
示例#6
0
文件: Disj.cs 项目: glycerine/SDFCalc
 public override PathCond AndNot(CachedAtom cond)
 {
     return(Conj.Make(this, cond.Negate()));
 }