Method getOutputVariables

src/input_parsers/BerkeleyParser.cpp:91–94 · view source on GitHub ↗

Source from the content-addressed store, hash-verified

89	}
90
91	Set<unsigned> BerkeleyParser::getOutputVariables() const
92	{
93	return _berkeleyNeuralNetwork.getOutputVariables();
94	}
95
96	void BerkeleyParser::addAuxiliaryEquations( List<Equation> &auxiliaryEquations )
97	{

mainFunction · 0.45

no outgoing calls

no test coverage detected