Python constant_name_generator Examples

Example #1

 def _fresh_const_name(self, extra=frozenset()):
     contents = ([self._to_formula()] + [
         c.formula for n, c in self.domain.concepts.iteritems()
         if isinstance(c, Concept)
     ])
     used = frozenset(c.name for c in (used_constants(*contents) | extra))
     return next(name for name in constant_name_generator()
                 if name not in used)

Example #2

File: concept_interactive_session.py Project: yotamfe/ivy

 def _fresh_const_name(self, extra=frozenset()):
     contents = ([self._to_formula()] +
                 [c.formula for n,c in self.domain.concepts.iteritems() if isinstance(c,Concept)])
     used = frozenset(c.name for c in (
         used_constants(*contents) | extra
     ))
     return next(name for name in constant_name_generator()
                 if name not in used)

Example #3

 def _fresh_const_name(self, extra=frozenset()):
     used = frozenset(c.name for c in (
         used_constants(self._to_formula()) | extra
     ))
     return next(name for name in constant_name_generator()
                 if name not in used)