|
| static int | print_version (void) |
| static int | print_usage (const char *name, bool error) |
| static uint8_t * | absolute_path (const uint8_t *path) |
| static int | error (const char *msg, const SordQuad quad) |
| static int | errorf (const char *fmt,...) |
| static bool | is_descendant_of (SordModel *model, const URIs *uris, const SordNode *child, const SordNode *parent, const SordNode *pred) |
| static bool | regexp_match (const uint8_t *pat, const char *str) |
| static int | bound_cmp (SordModel *model, const URIs *uris, const SordNode *literal, const SordNode *type, const SordNode *bound) |
| static bool | check_restriction (SordModel *model, const URIs *uris, const SordNode *literal, const SordNode *type, const SordNode *restriction) |
| static bool | literal_is_valid (SordModel *model, const URIs *uris, const SordNode *literal, const SordNode *type) |
| static bool | check_type (SordModel *model, const URIs *uris, const SordNode *node, const SordNode *type) |
| static int | check_properties (SordModel *model, URIs *uris) |
| static int | check_instance (SordModel *model, const URIs *uris, const SordNode *restriction, const SordNode *instance) |
| static int | check_class_instances (SordModel *model, const URIs *uris, const SordNode *restriction, const SordNode *klass) |
| static int | check_instances (SordModel *model, const URIs *uris) |
| int | main (int argc, char **argv) |