13namespace modelchecker {
14namespace multiobjective {
19template<
class SparseModelType>
34 std::vector<Objective<typename SparseModelType::ValueType>>
objectives;
storm::storage::BitVector reward0EStates
std::shared_ptr< storm::expressions::ExpressionManager > expressionManager
storm::logic::MultiObjectiveFormula const & originalFormula
SparseModelType const & originalModel
std::shared_ptr< SparseModelType > preprocessedModel
virtual ~SparseCbQuery()=default
virtual std::unique_ptr< CheckResult > check(Environment const &env)=0
std::vector< Objective< typename SparseModelType::ValueType > > objectives
A bit vector that is internally represented as a vector of 64-bit values.