ADD interface

[nmanginas]

Hi and thanks very much for the project !!

Is it possible to manipulate the ADDs (MTBDDs) that I assume are used by the symbolic engine. E.g. to view them, export them and perform operations on them like vector matrix multiplications and the like. Thanks very much for any information. I can follow up to the point:

symbolic_model = stormpy.build_symbolic_model(prism_program)

which produces a <class 'stormpy.storage.storage.SymbolicSylvanDtmc'> but I can't seem to find no information on this class and seeing its associated attributes it is hard to understand whether some ADD (MTBDD) object representing the transition function exists there and if so what its type is and how to manipulate it.

I am new to storm. I understand the symbolic engine of PRISM conceptually and have assumed STORM's functions similarly, i.e. instead of holding a sparse transition matrix an ADD is created.

Thanks very much for any info.