47 std::set<storm::expressions::Variable>
const& columnVariables,
48 std::vector<std::pair<storm::expressions::Variable, storm::expressions::Variable>>
const& rowColumnMetaVariablePairs,
49 std::set<storm::expressions::Variable>
const& player1Variables, std::set<storm::expressions::Variable>
const& player2Variables,
50 std::set<storm::expressions::Variable>
const& allNondeterminismVariables,
51 std::map<std::string, storm::expressions::Expression> labelToExpressionMap = std::map<std::string, storm::expressions::Expression>(),
52 std::unordered_map<std::string, RewardModelType>
const& rewardModels = std::unordered_map<std::string, RewardModelType>());
73 std::set<storm::expressions::Variable>
const& rowVariables, std::set<storm::expressions::Variable>
const& columnVariables,
74 std::vector<std::pair<storm::expressions::Variable, storm::expressions::Variable>>
const& rowColumnMetaVariablePairs,
75 std::set<storm::expressions::Variable>
const& player1Variables, std::set<storm::expressions::Variable>
const& player2Variables,
76 std::set<storm::expressions::Variable>
const& allNondeterminismVariables,
78 std::unordered_map<std::string, RewardModelType>
const& rewardModels = std::unordered_map<std::string, RewardModelType>());
108 template<
typename NewValueType>
109 std::shared_ptr<StochasticTwoPlayerGame<Type, NewValueType>>
toValueType()
const;
120 void createIllegalMasks();
129 std::set<storm::expressions::Variable> player1Variables;
132 std::set<storm::expressions::Variable> player2Variables;