function benefitBaBConIn
extends Modelica.Icons.Function;
input Integer depth;
input Integer nIn "number of input transitions";
input Real benefit[:] "enabling benefit of input transitions";
input Integer arcWeight[:] "arc weights of input transitions";
input Real Quotient[:] "benefit Quotient";
input Integer t "current token number";
input Real benefitMaxIn "theoretical benefit input";
input Integer maxTokens "maximum capacity";
input Boolean TEinIn[:] "enabled input transitions input";
input Integer TokenIn "used token input";
input Real benefitLimitIn "best valid benefit input";
input Boolean TAein[:] "active previous transitions which are already enabled by their input places";
input Boolean disTransition[:] "discrete input transition";
output Boolean TEinOut[nIn] "enabled input transitions output";
output Integer TokenOut "used token output";
output Real benefitMaxOut "theoretical benefit output";
output Boolean valid "valid solution";
output Real benefitLimitOut "best valid benefit Output";
end benefitBaBConIn;