Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::storage::geometry::Polytope< ValueType > Member List

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 =0storm::storage::geometry::Polytope< ValueType >pure virtual
clean()storm::storage::geometry::Polytope< ValueType >virtual
contains(Point const &point) const =0storm::storage::geometry::Polytope< ValueType >pure virtual
contains(std::shared_ptr< Polytope< ValueType > > const &other) const =0storm::storage::geometry::Polytope< ValueType >pure virtual
convertNumberRepresentation() conststorm::storage::geometry::Polytope< ValueType >
convexUnion(std::shared_ptr< Polytope< ValueType > > const &rhs) const =0storm::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) conststorm::storage::geometry::Polytope< ValueType >virtual
downwardClosure() conststorm::storage::geometry::Polytope< ValueType >virtual
getConstraints(storm::expressions::ExpressionManager const &manager, std::vector< storm::expressions::Variable > const &variables) conststorm::storage::geometry::Polytope< ValueType >virtual
getHalfspaces() const =0storm::storage::geometry::Polytope< ValueType >pure virtual
getVertices() const =0storm::storage::geometry::Polytope< ValueType >pure virtual
getVerticesInClockwiseOrder() conststorm::storage::geometry::Polytope< ValueType >virtual
intersection(std::shared_ptr< Polytope< ValueType > > const &rhs) const =0storm::storage::geometry::Polytope< ValueType >pure virtual
intersection(Halfspace< ValueType > const &halfspace) const =0storm::storage::geometry::Polytope< ValueType >pure virtual
isEmpty() const =0storm::storage::geometry::Polytope< ValueType >pure virtual
isNativePolytope() conststorm::storage::geometry::Polytope< ValueType >virtual
isUniversal() const =0storm::storage::geometry::Polytope< ValueType >pure virtual
minkowskiSum(std::shared_ptr< Polytope< ValueType > > const &rhs) const =0storm::storage::geometry::Polytope< ValueType >pure virtual
optimize(Point const &direction) const =0storm::storage::geometry::Polytope< ValueType >pure virtual
Point typedefstorm::storage::geometry::Polytope< ValueType >
Polytope()storm::storage::geometry::Polytope< ValueType >protected
setMinus(std::shared_ptr< Polytope< ValueType > > const &rhs) conststorm::storage::geometry::Polytope< ValueType >
shift(Point const &b) conststorm::storage::geometry::Polytope< ValueType >
toString(bool numbersAsDouble=false) conststorm::storage::geometry::Polytope< ValueType >virtual
~Polytope()storm::storage::geometry::Polytope< ValueType >virtual