fn_Graph_spfa.cpp File Reference

#include "fn_Graph_spfa.hpp"
#include "assert.hpp"
#include "cl_DynamicBitset.hpp"

Include dependency graph for fn_Graph_spfa.cpp:

Namespaces
namespace	belfem
	USER GUIDES:
namespace	belfem::graph
namespace	belfem::graph::spfa

Functions
bool	belfem::graph::spfa_difference_constraints (const index_t aNumVertices, const Cell< index_t > &aArcTails, const Cell< index_t > &aArcHeads, const Cell< int64_t > &aArcWeights, Cell< int64_t > &aTheta, Cell< index_t > &aNegativeCycle)
	Feasibility solver for a system of difference constraints.