getNumVariables Last update: 30.07.2026 abstract fun getNumVariables(): Int Get the number of variables.