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

Method getBasicAssignmentStatus

src/engine/Tableau.cpp:2473–2476  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

2471}
2472
2473ITableau::BasicAssignmentStatus Tableau::getBasicAssignmentStatus() const
2474{
2475 return _basicAssignmentStatus;
2476}
2477
2478double Tableau::getBasicAssignment( unsigned basicIndex ) const
2479{

Calls

no outgoing calls

Tested by

no test coverage detected