function benefitBaBDisOut extends Modelica.Icons.Function; input Integer depth; input Integer nOut "number of output transitions"; input Real benefit[:] "enabling benefit of output transitions"; input Integer arcWeight[:] "arc weights of output transitions"; input Real Quotient[:] "benefit Quotient"; input Integer t "current token number"; input Real benefitMaxIn "theoretical benefit input"; input Integer minTokens "minimum capacity"; input Boolean TEoutIn[:] "enabled output transitions input"; input Integer TokenIn "used token input"; input Real benefitLimitIn "best valid benefit input"; input Boolean TAout[:] "active output transitions with passed delay"; input Boolean disTransition[:] "discrete output transition"; output Boolean TEoutOut[nOut] "enabled output 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 benefitBaBDisOut;