Esempi in Python per Operation.remake_with_style_calls

Esempio n. 1

File: and_op.py Progetto: gustavomonente/Prove-It

 def remake_with_style_calls(self):
     '''
     In order to reconstruct this Expression to have the same styles,
     what "with..." method calls are most appropriate?  Return a
     tuple of strings with the calls to make.  The default for the
     Operation class is to include appropriate 'with_wrapping_at'
     and 'with_justification' calls.
     '''
     call_strs = Operation.remake_with_style_calls(self)
     if self.get_style('as_total_ordering', 'False') == 'True':
         call_strs.append('with_total_ordering_style()')
     return call_strs

Esempio n. 2

 def remake_with_style_calls(self):
     '''
     In order to reconstruct this Expression to have the same styles,
     what "with..." method calls are most appropriate?  Return a
     tuple of strings with the calls to make.  The default for the
     Operation class is to include appropriate 'with_wrapping_at'
     and 'with_justification' calls.
     '''
     call_strs = Operation.remake_with_style_calls(self)
     if not self.use_subtraction_notation():
         call_strs.append('without_subtraction_notation()')
     return call_strs