ConstantFunctionEvaluator
convertVarIndecesToStringPlaceholders
convertVarIndexToStringPlaceholder
createAggregateFunctionFormula
createAggregateGreaterThanFunctionFormula
createBoolTransitionTable
createRandomBoolTransitionTable
createVariableNameValueMap