storm::generator::Choice< ValueType, StateType > Member List

This is the complete list of members for storm::generator::Choice< ValueType, StateType >, including all inherited members.

add(Choice const &other)	storm::generator::Choice< ValueType, StateType >
addLabel(std::string const &label)	storm::generator::Choice< ValueType, StateType >
addLabels(std::set< std::string > const &labels)	storm::generator::Choice< ValueType, StateType >
addOriginData(boost::any const &data)	storm::generator::Choice< ValueType, StateType >
addProbability(StateType const &state, ValueType const &value)	storm::generator::Choice< ValueType, StateType >
addReward(ValueType const &value)	storm::generator::Choice< ValueType, StateType >
addRewards(std::vector< ValueType > &&values)	storm::generator::Choice< ValueType, StateType >
begin()	storm::generator::Choice< ValueType, StateType >
begin() const	storm::generator::Choice< ValueType, StateType >
Choice(uint_fast64_t actionIndex=0, bool markovian=false)	storm::generator::Choice< ValueType, StateType >
Choice(Choice const &other)=default	storm::generator::Choice< ValueType, StateType >
Choice(Choice &&other)=default	storm::generator::Choice< ValueType, StateType >
end()	storm::generator::Choice< ValueType, StateType >
end() const	storm::generator::Choice< ValueType, StateType >
getActionIndex() const	storm::generator::Choice< ValueType, StateType >
getLabels() const	storm::generator::Choice< ValueType, StateType >
getOriginData() const	storm::generator::Choice< ValueType, StateType >
getPlayerIndex() const	storm::generator::Choice< ValueType, StateType >
getRewards() const	storm::generator::Choice< ValueType, StateType >
getTotalMass() const	storm::generator::Choice< ValueType, StateType >
hasLabels() const	storm::generator::Choice< ValueType, StateType >
hasOriginData() const	storm::generator::Choice< ValueType, StateType >
hasPlayerIndex() const	storm::generator::Choice< ValueType, StateType >
isMarkovian() const	storm::generator::Choice< ValueType, StateType >
operator<<	storm::generator::Choice< ValueType, StateType >	friend
operator=(Choice const &other)=default	storm::generator::Choice< ValueType, StateType >
operator=(Choice &&other)=default	storm::generator::Choice< ValueType, StateType >
reserve(std::size_t const &size)	storm::generator::Choice< ValueType, StateType >
sampleFromDistribution(ValueType const &quantile) const	storm::generator::Choice< ValueType, StateType >
setPlayerIndex(storm::storage::PlayerIndex const &playerIndex)	storm::generator::Choice< ValueType, StateType >
size() const	storm::generator::Choice< ValueType, StateType >