Searched refs:m_line_break (Results 1 – 4 of 4) sorted by relevance
| /dports/math/z3/z3-z3-4.8.13/src/ast/ |
| H A D | format.cpp | 32 symbol m_line_break; member in format_ns::format_decl_plugin
51 m_line_break("cr"), in format_decl_plugin()
90 return m_manager->mk_func_decl(m_line_break, arity, domain, m_format_sort, in mk_func_decl()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/ast/ |
| H A D | format.cpp | 32 symbol m_line_break;
51 m_line_break("cr"),
90 return m_manager->mk_func_decl(m_line_break, arity, domain, m_format_sort,
|
| /dports/math/octave/octave-6.4.0/libgui/src/m-editor/ |
| H A D | file-editor-tab.h | 337 int m_line_break; variable
|
| H A D | file-editor-tab.cc | 2810 m_line_break = line_length; in notice_settings()
2812 m_line_break = 0; in notice_settings()
3117 if (m_line_break) in handle_char_added()
3125 if (col <= m_line_break) in handle_char_added()
|