This is the complete list of members for storm::storage::geometry::Polytope< ValueType >, including all inherited members.

affineTransformation(std::vector< Point > const &matrix, Point const &vector) const =0	storm::storage::geometry::Polytope< ValueType >	pure virtual
clean()	storm::storage::geometry::Polytope< ValueType >	virtual
contains(Point const &point) const =0	storm::storage::geometry::Polytope< ValueType >	pure virtual
contains(std::shared_ptr< Polytope< ValueType > > const &other) const =0	storm::storage::geometry::Polytope< ValueType >	pure virtual
convertNumberRepresentation() const	storm::storage::geometry::Polytope< ValueType >
convexUnion(std::shared_ptr< Polytope< ValueType > > const &rhs) const =0	storm::storage::geometry::Polytope< ValueType >	pure virtual
create(std::vector< Halfspace< ValueType > > const &halfspaces)	storm::storage::geometry::Polytope< ValueType >	static
create(std::vector< Point > const &points)	storm::storage::geometry::Polytope< ValueType >	static
createDownwardClosure(std::vector< Point > const &points)	storm::storage::geometry::Polytope< ValueType >	static
createEmptyPolytope()	storm::storage::geometry::Polytope< ValueType >	static
createSelectiveDownwardClosure(std::vector< Point > const &points, storm::storage::BitVector const &selectedDimensions)	storm::storage::geometry::Polytope< ValueType >	static
createUniversalPolytope()	storm::storage::geometry::Polytope< ValueType >	static
declareVariables(storm::expressions::ExpressionManager &manager, std::string const &namePrefix) const	storm::storage::geometry::Polytope< ValueType >	virtual
downwardClosure() const	storm::storage::geometry::Polytope< ValueType >	virtual
getConstraints(storm::expressions::ExpressionManager const &manager, std::vector< storm::expressions::Variable > const &variables) const	storm::storage::geometry::Polytope< ValueType >	virtual
getHalfspaces() const =0	storm::storage::geometry::Polytope< ValueType >	pure virtual
getVertices() const =0	storm::storage::geometry::Polytope< ValueType >	pure virtual
getVerticesInClockwiseOrder() const	storm::storage::geometry::Polytope< ValueType >	virtual
intersection(std::shared_ptr< Polytope< ValueType > > const &rhs) const =0	storm::storage::geometry::Polytope< ValueType >	pure virtual
intersection(Halfspace< ValueType > const &halfspace) const =0	storm::storage::geometry::Polytope< ValueType >	pure virtual
isEmpty() const =0	storm::storage::geometry::Polytope< ValueType >	pure virtual
isNativePolytope() const	storm::storage::geometry::Polytope< ValueType >	virtual
isUniversal() const =0	storm::storage::geometry::Polytope< ValueType >	pure virtual
minkowskiSum(std::shared_ptr< Polytope< ValueType > > const &rhs) const =0	storm::storage::geometry::Polytope< ValueType >	pure virtual
optimize(Point const &direction) const =0	storm::storage::geometry::Polytope< ValueType >	pure virtual
Point typedef	storm::storage::geometry::Polytope< ValueType >
Polytope()	storm::storage::geometry::Polytope< ValueType >	protected
setMinus(std::shared_ptr< Polytope< ValueType > > const &rhs) const	storm::storage::geometry::Polytope< ValueType >
shift(Point const &b) const	storm::storage::geometry::Polytope< ValueType >
toString(bool numbersAsDouble=false) const	storm::storage::geometry::Polytope< ValueType >	virtual
~Polytope()	storm::storage::geometry::Polytope< ValueType >	virtual