Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/NeuralNetworkVerification/Marabou
/ costFunctionInvalid
Method
costFunctionInvalid
src/engine/CostFunctionManager.cpp:416–419 ·
view source on GitHub ↗
Source
from the content-addressed store, hash-verified
414
}
415
416
bool CostFunctionManager::costFunctionInvalid() const
417
{
418
return _costFunctionStatus == ICostFunctionManager::COST_FUNCTION_INVALID;
419
}
420
421
void CostFunctionManager::invalidateCostFunction()
422
{
Callers
1
performSimplexStep
Method · 0.45
Calls
no outgoing calls
Tested by
no test coverage detected