public void AddCondition(Relation condition, Pair[] vars) { this.conditions.Add(condition.Query(this.SaltVars(vars))); this.relations.Add(condition); }
public LazyRelationGoal(Relation relation, Pair[] variables, bool rules = true) { this.relation = relation; this.variables = variables; this.rules = rules; }