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

Method registerCostFunctionManager

src/engine/Tableau.cpp:2512–2515  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

2510}
2511
2512void Tableau::registerCostFunctionManager( ICostFunctionManager *costFunctionManager )
2513{
2514 _costFunctionManager = costFunctionManager;
2515}
2516
2517void Tableau::getColumnOfBasis( unsigned column, double *result ) const
2518{

Callers 1

initializeTableauMethod · 0.45

Calls

no outgoing calls

Tested by

no test coverage detected