InternalSylvanSignatureRefiner.cpp File Reference

#include "storm/storage/dd/bisimulation/InternalSylvanSignatureRefiner.h"
#include "storm/storage/dd/DdManager.h"
#include "storm/storage/dd/sylvan/InternalSylvanBdd.h"
#include "storm/adapters/RationalFunctionAdapter.h"
#include "storm/storage/dd/bisimulation/Partition.h"
#include "storm/storage/dd/bisimulation/Signature.h"
#include "sylvan_cache.h"

Include dependency graph for InternalSylvanSignatureRefiner.cpp:

Go to the source code of this file.

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

Functions
static uint64_t	storm::dd::bisimulation::sylvan_hash (uint64_t a, uint64_t b)
	storm::dd::bisimulation::VOID_TASK_3 (sylvan_rehash, size_t, first, size_t, count, InternalSylvanSignatureRefinerBase *, refiner)
	The code below was taken from the SigrefMC implementation by Tom van Dijk, available at.
	storm::dd::bisimulation::VOID_TASK_1 (sylvan_grow_it, InternalSylvanSignatureRefinerBase *, refiner)
	storm::dd::bisimulation::VOID_TASK_1 (sylvan_grow, InternalSylvanSignatureRefinerBase *, refiner)
static uint64_t	storm::dd::bisimulation::sylvan_search_or_insert (uint64_t sig, uint64_t previous_block, InternalSylvanSignatureRefinerBase *refiner)
	storm::dd::bisimulation::TASK_1 (uint64_t, sylvan_decode_block, BDD, block)
	storm::dd::bisimulation::TASK_3 (BDD, sylvan_encode_block, BDD, vars, uint64_t, numberOfVariables, uint64_t, blockIndex)
	storm::dd::bisimulation::TASK_3 (BDD, sylvan_assign_block, BDD, sig, BDD, previous_block, InternalSylvanSignatureRefinerBase *, refiner)
	storm::dd::bisimulation::TASK_5 (BDD, sylvan_refine_partition, BDD, dd, BDD, previous_partition, BDD, nondetvars, BDD, vars, InternalSylvanSignatureRefinerBase *, refiner)

Variables
static const uint64_t	storm::dd::bisimulation::NO_ELEMENT_MARKER = -1ull