Searched refs:useHighLevelOptions (Results 1 – 5 of 5) sorted by relevance
115 fmmm.useHighLevelOptions(true); in describeFMMM()136 fmmm.useHighLevelOptions(false); in describeFMMM()
20 fmmm.useHighLevelOptions(true); in main()
311 bool useHighLevelOptions() const { return m_useHighLevelOptions; } in useHighLevelOptions() function314 void useHighLevelOptions(bool uho) { m_useHighLevelOptions = uho; } in useHighLevelOptions() function
697 fmmm.useHighLevelOptions(true); in drawSteinerTreeSVG()755 fmmm.useHighLevelOptions(true); in drawSVG()
86 if(useHighLevelOptions()) in call()266 useHighLevelOptions(false); in initialize_all_options()335 useHighLevelOptions(true); in update_low_level_options_due_to_high_level_options_settings()