storm::dd::Add< LibraryType, ValueType > Member List

This is the complete list of members for storm::dd::Add< LibraryType, ValueType >, including all inherited members.

Add	storm::dd::Add< LibraryType, ValueType >	friend
Add()=default	storm::dd::Add< LibraryType, ValueType >
Add(Add< LibraryType, ValueType > const &other)=default	storm::dd::Add< LibraryType, ValueType >
Add(Add< LibraryType, ValueType > &&other)=default	storm::dd::Add< LibraryType, ValueType >
addMetaVariable(storm::expressions::Variable const &metaVariable)	storm::dd::Dd< LibraryType >
addMetaVariables(std::set< storm::expressions::Variable > const &metaVariables)	storm::dd::Dd< LibraryType >
Bdd< LibraryType >	storm::dd::Add< LibraryType, ValueType >	friend
begin(bool enumerateDontCareMetaVariables=true) const	storm::dd::Add< LibraryType, ValueType >
bisimulation::InternalSignatureRefiner< LibraryType, ValueType >	storm::dd::Add< LibraryType, ValueType >	friend
ceil() const	storm::dd::Add< LibraryType, ValueType >
constrain(Add< LibraryType, ValueType > const &constraint) const	storm::dd::Add< LibraryType, ValueType >
containsMetaVariable(storm::expressions::Variable const &metaVariable) const	storm::dd::Dd< LibraryType >
containsMetaVariables(std::set< storm::expressions::Variable > const &metaVariables) const	storm::dd::Dd< LibraryType >
createOdd() const	storm::dd::Add< LibraryType, ValueType >
Dd()=default	storm::dd::Dd< LibraryType >
Dd(Dd< LibraryType > const &other)=default	storm::dd::Dd< LibraryType >
Dd(Dd< LibraryType > &&other)=default	storm::dd::Dd< LibraryType >
Dd(DdManager< LibraryType > const &ddManager, std::set< storm::expressions::Variable > const &containedMetaVariables=std::set< storm::expressions::Variable >())	storm::dd::Dd< LibraryType >	protected
DdManager< LibraryType >	storm::dd::Add< LibraryType, ValueType >	friend
end() const	storm::dd::Add< LibraryType, ValueType >
equalModuloPrecision(Add< LibraryType, ValueType > const &other, ValueType const &precision, bool relative=true) const	storm::dd::Add< LibraryType, ValueType >
equals(Add< LibraryType, ValueType > const &other) const	storm::dd::Add< LibraryType, ValueType >
exportToDot(std::string const &filename, bool showVariablesIfPossible=true) const override	storm::dd::Add< LibraryType, ValueType >	virtual
exportToText(std::string const &filename) const override	storm::dd::Add< LibraryType, ValueType >	virtual
floor() const	storm::dd::Add< LibraryType, ValueType >
fromVector(DdManager< LibraryType > const &ddManager, std::vector< ValueType > const &values, Odd const &odd, std::set< storm::expressions::Variable > const &metaVariables)	storm::dd::Add< LibraryType, ValueType >	static
getContainedMetaVariables() const	storm::dd::Dd< LibraryType >
getContainedMetaVariables()	storm::dd::Dd< LibraryType >
getDdManager() const	storm::dd::Dd< LibraryType >
getIndex() const override	storm::dd::Add< LibraryType, ValueType >	virtual
getInternalAdd() const	storm::dd::Add< LibraryType, ValueType >
getInternalDdManager() const	storm::dd::Add< LibraryType, ValueType >
getLeafCount() const override	storm::dd::Add< LibraryType, ValueType >	virtual
getLevel() const override	storm::dd::Add< LibraryType, ValueType >	virtual
getMax() const	storm::dd::Add< LibraryType, ValueType >
getMin() const	storm::dd::Add< LibraryType, ValueType >
getNodeCount() const override	storm::dd::Add< LibraryType, ValueType >	virtual
getNonZeroCount() const override	storm::dd::Add< LibraryType, ValueType >	virtual
getSortedVariableIndices() const	storm::dd::Dd< LibraryType >	protected
getSupport() const override	storm::dd::Add< LibraryType, ValueType >	virtual
getValue(std::map< storm::expressions::Variable, int_fast64_t > const &metaVariableToValueMap=std::map< storm::expressions::Variable, int_fast64_t >()) const	storm::dd::Add< LibraryType, ValueType >
greater(Add< LibraryType, ValueType > const &other) const	storm::dd::Add< LibraryType, ValueType >
greater(ValueType const &value) const	storm::dd::Add< LibraryType, ValueType >
greaterOrEqual(Add< LibraryType, ValueType > const &other) const	storm::dd::Add< LibraryType, ValueType >
greaterOrEqual(ValueType const &value) const	storm::dd::Add< LibraryType, ValueType >
isConstant() const	storm::dd::Add< LibraryType, ValueType >
isOne() const	storm::dd::Add< LibraryType, ValueType >
isZero() const	storm::dd::Add< LibraryType, ValueType >
joinMetaVariables(storm::dd::Dd< LibraryType > const &first, storm::dd::Dd< LibraryType > const &second)	storm::dd::Dd< LibraryType >	protectedstatic
less(Add< LibraryType, ValueType > const &other) const	storm::dd::Add< LibraryType, ValueType >
less(ValueType const &value) const	storm::dd::Add< LibraryType, ValueType >
lessOrEqual(Add< LibraryType, ValueType > const &other) const	storm::dd::Add< LibraryType, ValueType >
lessOrEqual(ValueType const &value) const	storm::dd::Add< LibraryType, ValueType >
logxy(Add< LibraryType, ValueType > const &other) const	storm::dd::Add< LibraryType, ValueType >
maxAbstract(std::set< storm::expressions::Variable > const &metaVariables) const	storm::dd::Add< LibraryType, ValueType >
maxAbstractRepresentative(std::set< storm::expressions::Variable > const &metaVariables) const	storm::dd::Add< LibraryType, ValueType >
maximum(Add< LibraryType, ValueType > const &other) const	storm::dd::Add< LibraryType, ValueType >
minAbstract(std::set< storm::expressions::Variable > const &metaVariables) const	storm::dd::Add< LibraryType, ValueType >
minAbstractRepresentative(std::set< storm::expressions::Variable > const &metaVariables) const	storm::dd::Add< LibraryType, ValueType >
minimum(Add< LibraryType, ValueType > const &other) const	storm::dd::Add< LibraryType, ValueType >
mod(Add< LibraryType, ValueType > const &other) const	storm::dd::Add< LibraryType, ValueType >
multiplyMatrix(Add< LibraryType, ValueType > const &otherMatrix, std::set< storm::expressions::Variable > const &summationMetaVariables) const	storm::dd::Add< LibraryType, ValueType >
multiplyMatrix(Bdd< LibraryType > const &otherMatrix, std::set< storm::expressions::Variable > const &summationMetaVariables) const	storm::dd::Add< LibraryType, ValueType >
notEquals(Add< LibraryType, ValueType > const &other) const	storm::dd::Add< LibraryType, ValueType >
notZero() const	storm::dd::Add< LibraryType, ValueType >
operator!=(Add< LibraryType, ValueType > const &other) const	storm::dd::Add< LibraryType, ValueType >
operator*(Add< LibraryType, ValueType > const &other) const	storm::dd::Add< LibraryType, ValueType >
operator*=(Add< LibraryType, ValueType > const &other)	storm::dd::Add< LibraryType, ValueType >
operator+(Add< LibraryType, ValueType > const &other) const	storm::dd::Add< LibraryType, ValueType >
operator+=(Add< LibraryType, ValueType > const &other)	storm::dd::Add< LibraryType, ValueType >
operator-(Add< LibraryType, ValueType > const &other) const	storm::dd::Add< LibraryType, ValueType >
operator-() const	storm::dd::Add< LibraryType, ValueType >
operator-=(Add< LibraryType, ValueType > const &other)	storm::dd::Add< LibraryType, ValueType >
operator/(Add< LibraryType, ValueType > const &other) const	storm::dd::Add< LibraryType, ValueType >
operator/=(Add< LibraryType, ValueType > const &other)	storm::dd::Add< LibraryType, ValueType >
operator<<	storm::dd::Add< LibraryType, ValueType >	friend
operator=(Add< LibraryType, ValueType > const &other)=default	storm::dd::Add< LibraryType, ValueType >
operator=(Add< LibraryType, ValueType > &&other)=default	storm::dd::Add< LibraryType, ValueType >
storm::dd::Dd::operator=(Dd< LibraryType > const &other)=default	storm::dd::Dd< LibraryType >
storm::dd::Dd::operator=(Dd< LibraryType > &&other)=default	storm::dd::Dd< LibraryType >
operator==(Add< LibraryType, ValueType > const &other) const	storm::dd::Add< LibraryType, ValueType >
permuteVariables(std::vector< std::pair< storm::expressions::Variable, storm::expressions::Variable > > const &metaVariablePairs) const	storm::dd::Add< LibraryType, ValueType >
pow(Add< LibraryType, ValueType > const &other) const	storm::dd::Add< LibraryType, ValueType >
removeMetaVariable(storm::expressions::Variable const &metaVariable)	storm::dd::Dd< LibraryType >
removeMetaVariables(std::set< storm::expressions::Variable > const &metaVariables)	storm::dd::Dd< LibraryType >
renameVariables(std::set< storm::expressions::Variable > const &from, std::set< storm::expressions::Variable > const &to) const	storm::dd::Add< LibraryType, ValueType >
renameVariablesAbstract(std::set< storm::expressions::Variable > const &from, std::set< storm::expressions::Variable > const &to) const	storm::dd::Add< LibraryType, ValueType >
restrict(Add< LibraryType, ValueType > const &constraint) const	storm::dd::Add< LibraryType, ValueType >
setValue(storm::expressions::Variable const &metaVariable, int_fast64_t variableValue, ValueType const &targetValue)	storm::dd::Add< LibraryType, ValueType >
setValue(storm::expressions::Variable const &metaVariable1, int_fast64_t variableValue1, storm::expressions::Variable const &metaVariable2, int_fast64_t variableValue2, ValueType const &targetValue)	storm::dd::Add< LibraryType, ValueType >
setValue(std::map< storm::expressions::Variable, int_fast64_t > const &metaVariableToValueMap=std::map< storm::expressions::Variable, int_fast64_t >(), ValueType const &targetValue=0)	storm::dd::Add< LibraryType, ValueType >
sharpenKwekMehlhorn(uint64_t precision) const	storm::dd::Add< LibraryType, ValueType >
sharpenKwekMehlhorn(uint64_t precision) const	storm::dd::Add< LibraryType, ValueType >
sharpenKwekMehlhorn(uint64_t precision) const	storm::dd::Add< LibraryType, ValueType >
subtractMetaVariables(storm::dd::Dd< LibraryType > const &first, storm::dd::Dd< LibraryType > const &second)	storm::dd::Dd< LibraryType >	protectedstatic
sumAbstract(std::set< storm::expressions::Variable > const &metaVariables) const	storm::dd::Add< LibraryType, ValueType >
swapVariables(std::vector< std::pair< storm::expressions::Variable, storm::expressions::Variable > > const &metaVariablePairs) const	storm::dd::Add< LibraryType, ValueType >
toBdd() const	storm::dd::Add< LibraryType, ValueType >
toLabeledMatrix(std::set< storm::expressions::Variable > const &rowMetaVariables, std::set< storm::expressions::Variable > const &columnMetaVariables, std::set< storm::expressions::Variable > const &groupMetaVariables, storm::dd::Odd const &rowOdd, storm::dd::Odd const &columnOdd, std::vector< std::set< storm::expressions::Variable > > const &labelMetaVariables=std::vector< std::set< storm::expressions::Variable > >()) const	storm::dd::Add< LibraryType, ValueType >
toMatrix() const	storm::dd::Add< LibraryType, ValueType >
toMatrix(storm::dd::Odd const &rowOdd, storm::dd::Odd const &columnOdd) const	storm::dd::Add< LibraryType, ValueType >
toMatrix(std::set< storm::expressions::Variable > const &rowMetaVariables, std::set< storm::expressions::Variable > const &columnMetaVariables, storm::dd::Odd const &rowOdd, storm::dd::Odd const &columnOdd) const	storm::dd::Add< LibraryType, ValueType >
toMatrix(std::set< storm::expressions::Variable > const &groupMetaVariables, storm::dd::Odd const &rowOdd, storm::dd::Odd const &columnOdd) const	storm::dd::Add< LibraryType, ValueType >
toMatrixVector(storm::dd::Add< LibraryType, ValueType > const &vector, std::set< storm::expressions::Variable > const &groupMetaVariables, storm::dd::Odd const &rowOdd, storm::dd::Odd const &columnOdd) const	storm::dd::Add< LibraryType, ValueType >
toMatrixVector(std::vector< uint_fast64_t > &&rowGroupSizes, storm::dd::Add< LibraryType, ValueType > const &vector, std::set< storm::expressions::Variable > const &rowMetaVariables, std::set< storm::expressions::Variable > const &columnMetaVariables, std::set< storm::expressions::Variable > const &groupMetaVariables, storm::dd::Odd const &rowOdd, storm::dd::Odd const &columnOdd) const	storm::dd::Add< LibraryType, ValueType >
toMatrixVectors(std::vector< storm::dd::Add< LibraryType, ValueType > > const &vectors, std::set< storm::expressions::Variable > const &groupMetaVariables, storm::dd::Odd const &rowOdd, storm::dd::Odd const &columnOdd) const	storm::dd::Add< LibraryType, ValueType >
toMatrixVectors(std::vector< uint_fast64_t > &&rowGroupSizes, std::vector< storm::dd::Add< LibraryType, ValueType > > const &vectors, std::set< storm::expressions::Variable > const &rowMetaVariables, std::set< storm::expressions::Variable > const &columnMetaVariables, std::set< storm::expressions::Variable > const &groupMetaVariables, storm::dd::Odd const &rowOdd, storm::dd::Odd const &columnOdd) const	storm::dd::Add< LibraryType, ValueType >
toValueType() const	storm::dd::Add< LibraryType, ValueType >
toValueType() const	storm::dd::Add< LibraryType, ValueType >
toVector() const	storm::dd::Add< LibraryType, ValueType >
toVector(storm::dd::Odd const &rowOdd) const	storm::dd::Add< LibraryType, ValueType >
toVector(storm::dd::Add< LibraryType, ValueType > const &matrix, std::vector< uint_fast64_t > const &rowGroupIndices, std::set< storm::expressions::Variable > const &rowMetaVariables, std::set< storm::expressions::Variable > const &columnMetaVariables, std::set< storm::expressions::Variable > const &groupMetaVariables, storm::dd::Odd const &rowOdd) const	storm::dd::Add< LibraryType, ValueType >
~Dd()=default	storm::dd::Dd< LibraryType >	virtual