MCPcopy Create free account
hub / github.com/NeuralNetworkVerification/Marabou / CostFunctionManager

Method CostFunctionManager

src/engine/CostFunctionManager.cpp:24–34  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

22#include "TableauRow.h"
23
24CostFunctionManager::CostFunctionManager( ITableau *tableau )
25 : _tableau( tableau )
26 , _costFunction( NULL )
27 , _basicCosts( NULL )
28 , _multipliers( NULL )
29 , _n( 0 )
30 , _m( 0 )
31 , _costFunctionStatus( COST_FUNCTION_INVALID )
32 , _ANColumn( NULL )
33{
34}
35
36CostFunctionManager::~CostFunctionManager()
37{

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected