SparseMaPcaaMultiObjectiveModelCheckerTest.cpp File Reference

#include "storm-config.h"
#include "test/storm_gtest.h"
#include "storm-parsers/api/storm-parsers.h"
#include "storm/api/storm.h"
#include "storm/environment/Environment.h"
#include "storm/environment/modelchecker/MultiObjectiveModelCheckerEnvironment.h"
#include "storm/environment/solver/SolverEnvironment.h"
#include "storm/modelchecker/multiobjective/MultiObjectiveModelChecking.h"
#include "storm/modelchecker/results/ExplicitParetoCurveCheckResult.h"
#include "storm/modelchecker/results/ExplicitQualitativeCheckResult.h"
#include "storm/modelchecker/results/ExplicitQuantitativeCheckResult.h"
#include "storm/models/sparse/MarkovAutomaton.h"
#include "storm/settings/SettingsManager.h"
#include "storm/settings/modules/GeneralSettings.h"
#include "storm/settings/modules/MultiObjectiveSettings.h"
#include "storm/storage/geometry/Hyperrectangle.h"
#include "storm/storage/geometry/Polytope.h"
#include "storm/storage/jani/Property.h"

Include dependency graph for SparseMaPcaaMultiObjectiveModelCheckerTest.cpp:

Go to the source code of this file.

Classes
class	SparseMaPcaaMultiObjectiveModelCheckerTest

Functions
	TEST_F (SparseMaPcaaMultiObjectiveModelCheckerTest, serverRationalNumbers)
	TEST_F (SparseMaPcaaMultiObjectiveModelCheckerTest, server)
	TEST_F (SparseMaPcaaMultiObjectiveModelCheckerTest, jobscheduler_pareto_3Obj)
	TEST_F (SparseMaPcaaMultiObjectiveModelCheckerTest, jobscheduler_achievability_3Obj)
	TEST_F (SparseMaPcaaMultiObjectiveModelCheckerTest, jobscheduler_quantitative_3Obj)
	TEST_F (SparseMaPcaaMultiObjectiveModelCheckerTest, jobscheduler_pareto_2Obj)
template<typename ValueType>
bool	expectPointContained (std::vector< std::vector< ValueType > > const &pointset, std::vector< ValueType > const &point, ValueType precision)
template<typename ValueType>
bool	expectSubset (std::vector< std::vector< ValueType > > const &lhs, std::vector< std::vector< ValueType > > const &rhs, ValueType precision)
template<typename ValueType>
std::vector< std::vector< ValueType > >	convertPointset (std::vector< std::vector< std::string > > const &in)
	TEST_F (SparseMaPcaaMultiObjectiveModelCheckerTest, simple_lra)
	TEST_F (SparseMaPcaaMultiObjectiveModelCheckerTest, polling)

Function Documentation

convertPointset()

template<typename ValueType>

std::vector< std::vector< ValueType > > convertPointset

(

std::vector< std::vector< std::string > > const &

in

)

Definition at line 319 of file SparseMaPcaaMultiObjectiveModelCheckerTest.cpp.

expectPointContained()

template<typename ValueType>

bool expectPointContained	(	std::vector< std::vector< ValueType > > const &	pointset,
		std::vector< ValueType > const &	point,
		ValueType	precision )

Definition at line 257 of file SparseMaPcaaMultiObjectiveModelCheckerTest.cpp.

expectSubset()

template<typename ValueType>

bool expectSubset	(	std::vector< std::vector< ValueType > > const &	lhs,
		std::vector< std::vector< ValueType > > const &	rhs,
		ValueType	precision )

Definition at line 309 of file SparseMaPcaaMultiObjectiveModelCheckerTest.cpp.

TEST_F() [1/8]

TEST_F	(	SparseMaPcaaMultiObjectiveModelCheckerTest	,
		jobscheduler_achievability_3Obj	)

Definition at line 158 of file SparseMaPcaaMultiObjectiveModelCheckerTest.cpp.

TEST_F() [2/8]

TEST_F	(	SparseMaPcaaMultiObjectiveModelCheckerTest	,
		jobscheduler_pareto_2Obj	)

Definition at line 217 of file SparseMaPcaaMultiObjectiveModelCheckerTest.cpp.

TEST_F() [3/8]

TEST_F	(	SparseMaPcaaMultiObjectiveModelCheckerTest	,
		jobscheduler_pareto_3Obj	)

Definition at line 118 of file SparseMaPcaaMultiObjectiveModelCheckerTest.cpp.

TEST_F() [4/8]

TEST_F	(	SparseMaPcaaMultiObjectiveModelCheckerTest	,
		jobscheduler_quantitative_3Obj	)

Definition at line 187 of file SparseMaPcaaMultiObjectiveModelCheckerTest.cpp.

TEST_F() [5/8]

TEST_F	(	SparseMaPcaaMultiObjectiveModelCheckerTest	,
		polling	)

Definition at line 418 of file SparseMaPcaaMultiObjectiveModelCheckerTest.cpp.

TEST_F() [6/8]

TEST_F	(	SparseMaPcaaMultiObjectiveModelCheckerTest	,
		server	)

Definition at line 68 of file SparseMaPcaaMultiObjectiveModelCheckerTest.cpp.

TEST_F() [7/8]

TEST_F	(	SparseMaPcaaMultiObjectiveModelCheckerTest	,
		serverRationalNumbers	)

Definition at line 30 of file SparseMaPcaaMultiObjectiveModelCheckerTest.cpp.

TEST_F() [8/8]

TEST_F	(	SparseMaPcaaMultiObjectiveModelCheckerTest	,
		simple_lra	)

Definition at line 330 of file SparseMaPcaaMultiObjectiveModelCheckerTest.cpp.