Storm
1.10.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
sylvan.cpp
Go to the documentation of this file.
1
#include "
storm/adapters/sylvan.h
"
2
3
namespace
storm
{
4
namespace
dd {
5
6
bool
sylvan_bdd_matches_variable_index
(BDD node, uint64_t variableIndex, int64_t offset) {
7
return
!sylvan_isconst(node) &&
static_cast<
uint64_t
>
(sylvan_var(node) + offset) == variableIndex;
8
}
9
10
bool
sylvan_mtbdd_matches_variable_index
(MTBDD node, uint64_t variableIndex, int64_t offset) {
11
return
!mtbdd_isleaf(node) &&
static_cast<
uint64_t
>
(sylvan_var(node) + offset) == variableIndex;
12
}
13
14
}
// namespace dd
15
}
// namespace storm
storm::dd::sylvan_bdd_matches_variable_index
bool sylvan_bdd_matches_variable_index(BDD node, uint64_t variableIndex, int64_t offset)
Retrieves whether the topmost variable in the BDD is the one with the given index.
Definition
sylvan.cpp:6
storm::dd::sylvan_mtbdd_matches_variable_index
bool sylvan_mtbdd_matches_variable_index(MTBDD node, uint64_t variableIndex, int64_t offset)
Retrieves whether the topmost variable in the MTBDD is the one with the given index.
Definition
sylvan.cpp:10
storm
LabParser.cpp.
Definition
AutomaticSettings.cpp:13
sylvan.h
src
storm
adapters
sylvan.cpp
Generated by
1.9.8