Class HSMMTimeAwareMultinomialEstimatorWithCodegen

    • Field Detail

      • filename

        public FilePortParameter filename
        The name of the file to write to. By default, this parameter contains an empty string, which is interpreted to mean that output should be directed to the standard output. See FilePortParameter for details about relative path names.
      • optStep

        public Parameter optStep
        The maximum number of function evaluations before terminating. The default value is 10.
      • optimize

        public Parameter optimize
        If set to true, model will be parameterized and parameter synthesis will be carried out using PRISM.
      • modelChecking

        public Parameter modelChecking
        If set to true, PRISM will be used to model check defined model properties.
      • testPreset

        public Parameter testPreset
        The default value is true.
      • optvals

        public TypedIOPort optvals
        An output port of type double that contains optional values.
      • minPowerThreshold

        public Parameter minPowerThreshold
        The minimum power threshold. The inital defaultis an integer with a value 0.
      • _eol

        protected static final java.lang.String _eol
        The line separator.
      • INDENT1

        public static final java.lang.String INDENT1
        The level 1 index prefix.
      • INDENT2

        public static final java.lang.String INDENT2
        The level 2 index prefix.