- s -

• safetyLiveness() : Parity
• sanityCheck() : Model
• SarsaLambda() : Learner
• saveQ() : Gym
• saveStrat() : Gym
• saveStratBDP() : Gym
• scan_begin() : p_driver
• scan_end() : p_driver
• semantic_error() : p_driver
• setActionName() : Model
• setBDP() : Model
• setEpsilonBDD() : LTS< Tran >
• setLabel() : Stree
• setNodePlayer() : Model
• setVerbosity() : LTS< Tran > , Model
• size() : Stree
• solveOneStreettPairGame() : Parity
• sortEdgesByPriority() : Model
• stateEquivalence() : LTS< Tran >
• stateMinimization() : Parity
• statesAndStrategies() : Parity::OSPGame
• step() : Gym
• Stree() : Stree
• subsetsLTS() : LTS< Tran >