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

Method getBasicAssignment

src/engine/Tableau.cpp:2478–2481  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

2476}
2477
2478double Tableau::getBasicAssignment( unsigned basicIndex ) const
2479{
2480 return _basicAssignment[basicIndex];
2481}
2482
2483void Tableau::setBasicAssignmentStatus( ITableau::BasicAssignmentStatus status )
2484{

Callers 2

computeBasicOOBCostsMethod · 0.45

Calls

no outgoing calls

Tested by

no test coverage detected