check.c File Reference

This file contains various sanity checks intended for ASSERT statements. More...

#include "check.h"

Functions
int	check_kwinfo (kwinfo_type const *const kwinfo, graph_type const *const graph, pid_type const *const *const where)
	Perform a sanity check on k-way refinement information. More...
int	check_vsinfo (vsinfo_type const *const vsinfo, graph_type const *const graph, pid_type const *const *const where)
	Perform a sanity check on vertex separator refinement information. More...
int	check_esinfo (esinfo_type const *const esinfo, graph_type const *const graph, pid_type const *const *const gwhere)
	Perform a sanity check on edge separator refinement information. More...
int	check_graph (graph_type const *const graph)
	Check the sanity of a graph structure. More...
int	check_kwbnd (vtx_iset_t const *const bnd, graph_type const *const graph, int const greedy)
	Check the sanity of a boundary for kway greedy partitionings. More...
int	check_vsbnd (vtx_iset_t const *const bnd, graph_type const *const graph)
	Check the sanity of a boundary for a vertex separator. More...
int	check_esbnd (vtx_iset_t const *const bnd, graph_type const *const graph)
	Check the sanity of a boundary for an edge separator. More...
int	check_separator (graph_type const *const graph, pid_type const *const *const gwhere)
	Check the sanity of a vertex separator. More...

Detailed Description

This file contains various sanity checks intended for ASSERT statements.

Author

Dominique LaSalle lasal.nosp@m.le@c.nosp@m.s.umn.nosp@m..edu Copyright 2012, Regents of the University of Minnesota

Version

1

Date

2012-07-02

Function Documentation

int check_esbnd	(	vtx_iset_t const *	bnd,
		graph_type const *	graph
	)

Check the sanity of a boundary for an edge separator.

Parameters

graph

The graph to check the boundary of.

Returns

1 if the boundary is sane.

int check_esinfo	(	esinfo_type const *	esinfo,
		graph_type const *	graph,
		pid_type const *const *	where
	)

Perform a sanity check on edge separator refinement information.

Parameters

esinfo	The esinfo to check.
graph	The graph structure.
where	The partition id of each vertex.

Returns

1 if the information is sane.

int check_graph

(

graph_type const *

graph

)

Check the sanity of a graph structure.

Parameters

graph

The graph structure.

Returns

1 if the graph is sane.

int check_kwbnd	(	vtx_iset_t const *	bnd,
		graph_type const *	graph,
		int	greedy
	)

Check the sanity of a boundary for kway greedy partitionings.

Parameters

graph

The graph to check the boundary of.

Returns

1 if the boundary is sane.

int check_kwinfo	(	kwinfo_type const *	kwinfo,
		graph_type const *	graph,
		pid_type const *const *	where
	)

Perform a sanity check on k-way refinement information.

Parameters

kwinfo	The kwinfo to check.
graph	The graph structure.
where	The partition id of each vertex.

Returns

1 if the information is sane.

int check_separator	(	graph_type const *	graph,
		pid_type const *const *	gwhere
	)

Check the sanity of a vertex separator.

Parameters

graph

The graph to check the separator of.

Returns

1 if the separator is sane.

int check_vsbnd	(	vtx_iset_t const *	bnd,
		graph_type const *	graph
	)

Check the sanity of a boundary for a vertex separator.

Parameters

graph

The graph to check the boundary of.

Returns

1 if the boundary is sane.

int check_vsinfo	(	vsinfo_type const *	vsinfo,
		graph_type const *	graph,
		pid_type const *const *	where
	)

Perform a sanity check on vertex separator refinement information.

Parameters

vsinfo	The vsinfo to check.
graph	The graph structure.
where	The partition id of each vertex.

Returns

1 if the information is sane.