Method getNumInputVariables

src/engine/InputQuery.cpp:558–561 · view source on GitHub ↗

Source from the content-addressed store, hash-verified

556	}
557
558	unsigned InputQuery::getNumInputVariables() const
559	{
560	return _inputIndexToVariable.size();
561	}
562
563	unsigned InputQuery::getNumOutputVariables() const
564	{

solve_queryFunction · 0.45

test_bound_gettersFunction · 0.45

test_load_queryMethod · 0.45

storeOriginalQueryMethod · 0.45

printInputBoundsMethod · 0.45

warmStartMethod · 0.45

DnCManagerMethod · 0.45

printResultMethod · 0.45

displayResultsMethod · 0.45

sizeMethod · 0.45

test_bound_gettersFunction · 0.36

test_load_queryMethod · 0.36