public static void Add(string sName, List <Argument> lParameters, Dictionary <string, Constant> dBindings, GroundedPredicate gp, bool bNegation) { string sFullName = GetString(sName, lParameters, dBindings, bNegation); string sNotFullName = GetString(sName, lParameters, dBindings, !bNegation); gp.Cached = true; AllGrounded[sFullName] = gp; GroundedPredicate gpNot = (GroundedPredicate)gp.Negate(); gpNot.Cached = true; AllGrounded[sNotFullName] = gpNot; }
public override Predicate GenerateGiven(string sTag) { GroundedPredicate pGiven = new GroundedPredicate("Given" + Name); foreach (Constant c in Constants) { pGiven.AddConstant(c); } pGiven.AddConstant(new Constant(Domain.TAG, sTag)); if (Negation) { return(pGiven.Negate()); } return(pGiven); }