sylvan.h File Reference

#include "sylvan_obj.hpp"
#include "sylvan_storm_rational_function.h"
#include "sylvan_storm_rational_number.h"

Include dependency graph for sylvan.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

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

Macros
#define	cas(ptr, old, new)   (__sync_bool_compare_and_swap((ptr), (old), (new)))
#define	ATOMIC_READ(x)   (*(volatile decltype(x) *)&(x))

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.

Macro Definition Documentation

ATOMIC_READ

#define ATOMIC_READ

(

x

)

(*(volatile decltype(x) *)&(x))

Definition at line 20 of file sylvan.h.

cas

#define cas	(		ptr,
			old,
			new
	)		(__sync_bool_compare_and_swap((ptr), (old), (new)))

Definition at line 19 of file sylvan.h.