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

Method dump

src/engine/SigmoidConstraint.cpp:136–149  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

134}
135
136void SigmoidConstraint::dump( String &output ) const
137{
138 output = Stringf( "SigmoidConstraint: x%u = Sigmoid( x%u ).\n", _f, _b );
139
140 output +=
141 Stringf( "b in [%s, %s], ",
142 existsLowerBound( _b ) ? Stringf( "%lf", getLowerBound( _b ) ).ascii() : "-inf",
143 existsUpperBound( _b ) ? Stringf( "%lf", getUpperBound( _b ) ).ascii() : "inf" );
144
145 output +=
146 Stringf( "f in [%s, %s]",
147 existsLowerBound( _f ) ? Stringf( "%lf", getLowerBound( _f ) ).ascii() : "1",
148 existsUpperBound( _f ) ? Stringf( "%lf", getUpperBound( _f ) ).ascii() : "0" );
149}
150
151void SigmoidConstraint::updateVariableIndex( unsigned oldIndex, unsigned newIndex )
152{

Callers

nothing calls this directly

Calls 2

StringfClass · 0.85
asciiMethod · 0.80

Tested by

no test coverage detected