Searched refs:setUnusedPredicateDefinitionRemoval (Results 1 – 3 of 3) sorted by relevance
54 env.options->setUnusedPredicateDefinitionRemoval(false); in perform()
610 env.options->setUnusedPredicateDefinitionRemoval(false); in vampireMode()
2010 …void setUnusedPredicateDefinitionRemoval(bool newVal) { _unusedPredicateDefinitionRemoval.actualVa… in setUnusedPredicateDefinitionRemoval() function in Shell::Options