sylvan.cpp File Reference

#include "storm/adapters/sylvan.h"

Include dependency graph for sylvan.cpp:

Go to the source code of this file.

Namespaces
namespace	storm
	LabParser.cpp.
namespace	storm::dd

Functions
bool	storm::dd::sylvan_bdd_matches_variable_index (BDD node, uint64_t variableIndex, int64_t offset=0)
	Retrieves whether the topmost variable in the BDD is the one with the given index.
bool	storm::dd::sylvan_mtbdd_matches_variable_index (MTBDD node, uint64_t variableIndex, int64_t offset=0)
	Retrieves whether the topmost variable in the MTBDD is the one with the given index.