Beispiel #1
0
 /// <summary> convienance method for getting the values based on the
 /// bindings
 /// </summary>
 /// <param name="">ft
 /// </param>
 /// <returns>
 /// 
 /// </returns>
 public static BindValue[] getRightBindValues(Binding[] binds, IFact ft)
 {
     BindValue[] vals = new BindValue[binds.Length];
     for (int idx = 0; idx < binds.Length; idx++)
     {
         vals[idx] = new BindValue(ft.getSlotValue(binds[idx].RightIndex), binds[idx].negated());
     }
     return vals;
 }
Beispiel #2
0
 /// <summary> Get the values from the left side
 /// </summary>
 /// <param name="">facts
 /// </param>
 /// <returns>
 /// 
 /// </returns>
 public static BindValue[] getLeftBindValues(Binding[] binds, IFact[] facts)
 {
     BindValue[] vals = new BindValue[binds.Length];
     for (int idx = 0; idx < binds.Length; idx++)
     {
         vals[idx] = new BindValue(facts[binds[idx].LeftRow].getSlotValue(binds[idx].LeftIndex), binds[idx].negated());
     }
     return vals;
 }
Beispiel #3
0
 /// <summary> 
 /// </summary>
 public NotEqHashIndex(BindValue[] thevalues)
 {
     values = thevalues;
     calculateHash();
 }