graph_m4ri.cpp File Reference

#include <frechet/reachability/graph_m4ri.h>
#include <concurrency.h>
#include <m4ri/m4ri.h>
#include <m4ri/mzd_bool.h>
#include <m4ri/russian_bool.h>
#include <iomanip>
#include <boost/cstdint.hpp>
#include <boost/multiprecision/integer.hpp>

Go to the source code of this file.

Macros
#define	INVERT(w)   ((w) ^ ((uint64_t)-1))

Functions
int	lsb_pos (uint64_t x)

Macro Definition Documentation

INVERT

#define INVERT

(

w

)

((w) ^ ((uint64_t)-1))

Definition at line 721 of file graph_m4ri.cpp.

Function Documentation

lsb_pos()

int lsb_pos ( uint64_t  x )

inline

Parameters

x	a 64 bit word

Returns

the number of least significant bits

Definition at line 727 of file graph_m4ri.cpp.