Lines Matching refs:context
59 def evaluate(self, context=None): argument
61 op1 = self.get_argument(context, 0)
62 op2 = self.get_argument(context, 1)
74 def evaluate_bits_of(self, context=None): argument
75 op = self.get_argument(context)
86 def evaluate_has_function(self, context=None): argument
87 arg2 = self.get_argument(context, index=1, cls=str)
88 for item in self[0].select(context):
95 def select_duplicate_values_function(self, context=None): argument
99 for item in self[0].select(context):
101 if context is not None:
102 context.item = value
114 def evaluate_number_of_clos_id_needed(self, context=None): argument
115 op = self.get_argument(context, index=0)
138 def copy_context(context): argument
139 ret = copy(context)
140 if hasattr(context, 'counter_example'):
144 def add_counter_example(context, private_context, kvlist): argument
145 if hasattr(context, 'counter_example'):
146 context.counter_example.update(kvlist)
148 context.counter_example.update(private_context.counter_example)
152 def evaluate(self, context=None): argument
153 if context is None:
161 for results in copy(context).iter_product(selectors, varnames):
162 private_context = copy_context(context)
166 add_counter_example(context, private_context, zip(varrefs, results))
169 add_counter_example(context, private_context, zip(varrefs, results))