Python is_var_reference Examples

Example #1

File: types_logical_relations.py Project: elazarg/pythia

 def has_type_of_formula(self, expression, program_location):
     if instruction_utils.is_bool_literal(expression):
         return True
     if instruction_utils.is_var_reference(expression):
         return TypeRelation.has_type_of_formula(self, expression, program_location)
     return False

Example #2

File: types_logical_relations.py Project: elazarg/pythia

 def has_type_of_formula(self, expression, program_location):
     assert instruction_utils.is_var_reference(expression)
     return self._type_relation_symbol(self._type_logical_const(self.var_logical_name(expression, program_location)))