Home
last modified time | relevance | path

Searched refs:showInterpolant (Results 1 – 3 of 3) sorted by relevance

/dports/math/vampire/vampire-4.5.1/
H A Dvltb.cpp166 if(env.options->showInterpolant()!=Options::INTERP_OFF) { in outputResult()
/dports/math/vampire/vampire-4.5.1/Shell/
H A DUIHelper.cpp392 if (env.options->showInterpolant()!=Options::InterpolantMode::OFF) { in outputResult()
400 switch(env.options->showInterpolant()) { in outputResult()
H A DOptions.hpp1988 InterpolantMode showInterpolant() const { return _showInterpolant.actualValue; } in showInterpolant() function in Shell::Options