- n -

• numDecisionNodes() : Model
• numNodes() : Model
• numProbabilisticNodes() : Model
• numStates() : LTS< Tran >