Class FmvState

    • Field Detail

      • isRiskAnalysisState

        public Parameter isRiskAnalysisState
        A boolean parameter indicating that this state is a risk state. The default value is false.
      • isReachabilityAnalysisState

        public Parameter isReachabilityAnalysisState
        A boolean parameter indicating whether this state is a reachability analysis state. The default value is false.
    • Constructor Detail

      • FmvState

        public FmvState​(CompositeEntity container,
                        java.lang.String name)
                 throws IllegalActionException,
        Create an FmvState in the specified container with the specified name. The name must be unique within the container or an exception is thrown. The container argument must not be null, or a NullPointerException will be thrown.
        container - The container.
        name - The name of this automaton within the container.
        IllegalActionException - If the entity cannot be contained by the proposed container.
        NameDuplicationException - If the name coincides with an entity already in the container.