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

Method getPivotRow

src/engine/Tableau.cpp:1474–1477  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

1472}
1473
1474const TableauRow *Tableau::getPivotRow() const
1475{
1476 return _pivotRow;
1477}
1478
1479bool Tableau::isBasic( unsigned variable ) const
1480{

Callers 1

prePivotHookMethod · 0.45

Calls

no outgoing calls

Tested by

no test coverage detected