Searched refs:_showSkolemisations (Results 1 – 2 of 2) sorted by relevance
707 _showSkolemisations = BoolOptionValue("show_skolemisations","",false); in init()708 _showSkolemisations.description="Show Skolemisations."; in init()709 _lookup.insert(&_showSkolemisations); in init()710 _showSkolemisations.tag(OptionTag::DEVELOPMENT); in init()
1974 bool showSkolemisations() const { return showAll() || _showSkolemisations.actualValue; } in showSkolemisations()2560 BoolOptionValue _showSkolemisations; member in Shell::Options