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

Method getBasicVariables

src/engine/Tableau.cpp:2507–2510  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

2505}
2506
2507Set<unsigned> Tableau::getBasicVariables() const
2508{
2509 return _basicVariables;
2510}
2511
2512void Tableau::registerCostFunctionManager( ICostFunctionManager *costFunctionManager )
2513{

Callers 1

restorePrecisionMethod · 0.45

Calls

no outgoing calls

Tested by

no test coverage detected