DataDictionary.Generated.StateMachine.countStates C# (CSharp) Method

StateMachine Class Documentation Show file Open project: ERTMSSolutions/ERTMSFormalSpecs

countStates() public method

Part of the list interface for States
public countStates ( ) : int
return int 
        public int countStates()
        {
            return allStates().Count;
        }
StateMachine
NotifyControllers
StateMachine
allRules
allStates
appendRules
appendStates
copyTo
countRules
countStates
deleteRules
deleteStates
dispatch
find
getInitialState
getRules
getStates
indexOfRules
indexOfStates
insertRules
insertStates
parse
parseBody
removeRules
removeStates
setAllRules
setAllStates
setInitialState
subElements
unParse
unParseBody