Home
last modified time | relevance | path

Searched defs:runSchedule (Results 1 – 4 of 4) sorted by relevance

/dports/math/vampire/vampire-4.5.1/CASC/
H A DPortfolioMode.cpp452 bool PortfolioMode::runSchedule(Schedule& schedule) in runSchedule() function in PortfolioMode
H A DCLTBMode.cpp784 bool CLTBProblem::runSchedule(Schedule& schedule,StrategySet& used,int terminationTime) in runSchedule() function in CLTBProblem
H A DCLTBModeLearning.cpp920 bool CLTBProblemLearning::runSchedule(Schedule& schedule,StrategySet& used,bool fallback,int termin… in runSchedule() function in CLTBProblemLearning
/dports/math/vampire/vampire-4.5.1/VUtils/
H A DCPAInterpolator.cpp341 bool CPAInterpolator::runSchedule(Schedule& schedule,StrategySet& ss,bool fallback) in runSchedule() function in VUtils::CPAInterpolator