fn_Graph_spfa.hpp File Reference

#include <cstdint>
#include "typedefs.hpp"
#include "cl_Cell.hpp"

Include dependency graph for fn_Graph_spfa.hpp:

Go to the source code of this file.

Namespaces
namespace	belfem
	USER GUIDES:
namespace	belfem::graph

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.