1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
|
//------------------------------------------------------------------------------
// GB_Monoid_check: check and print a monoid
//------------------------------------------------------------------------------
// SuiteSparse:GraphBLAS, Timothy A. Davis, (c) 2017-2022, All Rights Reserved.
// SPDX-License-Identifier: Apache-2.0
//------------------------------------------------------------------------------
#include "GB.h"
GB_PUBLIC
GrB_Info GB_Monoid_check // check a GraphBLAS monoid
(
const GrB_Monoid monoid, // GraphBLAS monoid to print and check
const char *name, // name of the monoid, optional
int pr, // print level
FILE *f // file for output
)
{
//--------------------------------------------------------------------------
// check inputs
//--------------------------------------------------------------------------
GBPR0 ("\n GraphBLAS Monoid: %s ", ((name != NULL) ? name : "")) ;
if (monoid == NULL)
{
GBPR0 ("NULL\n") ;
return (GrB_NULL_POINTER) ;
}
//--------------------------------------------------------------------------
// check object
//--------------------------------------------------------------------------
GB_CHECK_MAGIC (monoid) ;
GBPR0 (monoid->header_size > 0 ? "(user-defined)" : "(built-in)") ;
GrB_Info info = GB_BinaryOp_check (monoid->op, "monoid->op", pr, f) ;
if (info != GrB_SUCCESS || GB_OP_IS_POSITIONAL (monoid->op))
{
GBPR0 (" Monoid contains an invalid operator\n") ;
return (GrB_INVALID_OBJECT) ;
}
if (monoid->op->xtype != monoid->op->ztype ||
monoid->op->ytype != monoid->op->ztype)
{
GBPR0 (" All domains of operator must be the same\n") ;
return (GrB_INVALID_OBJECT) ;
}
if (monoid->identity == NULL)
{
GBPR0 (" Identity value is missing\n") ;
return (GrB_INVALID_OBJECT) ;
}
// print the identity and terminal values
if (pr != GxB_SILENT)
{
// print the identity value, if present
GBPR (" identity: [ ") ;
info = GB_entry_check (monoid->op->ztype, monoid->identity, pr, f) ;
if (info != GrB_SUCCESS) return (info) ;
GBPR (" ] ") ;
// print the terminal value, if present
if (monoid->terminal != NULL)
{
GBPR ("terminal: [ ") ;
info = GB_entry_check (monoid->op->ztype, monoid->terminal, pr, f) ;
if (info != GrB_SUCCESS) return (info) ;
GBPR (" ]") ;
}
GBPR ("\n") ;
}
return (GrB_SUCCESS) ;
}
|
