Lines Matching refs:ctx
143 # Compiles a logic expression to Python expression, ctx -> { T, F }
165 return "ctx[{}]".format(keys.index(expr))
168 return eval('lambda ctx, ordering: ' + compile_derived_inner(expr, keys))
173 def evaluate_forward_derived(vals, ctx, ordering):
175 if expr(ctx, ordering):
180 def evaluate_forward(keys, derivf, testf, ctx, ordering):
181 if not testf(ctx, ordering):
187 evaled = evaluate_forward_derived(vals, ctx, ordering)
207 for (i, deriveds), ctx in zip(enumerate(forward), itertools.product(*mod_vals)):
219 backwards[param] = ctx
277 options = [ctx[j] if ctx is not None and ctx[j] is not None else "reserved" for ctx in order]
282 options = [ctx[j] if ctx is not None and ctx[j] is not None else "reserved" for ctx in backwards[0]]