sig
val name : string
type g = Rdf_mem.t
type error = string
exception Error of error
val string_of_error : 'a -> 'a
val graph_name : Rdf_mem.t -> Rdf_uri.uri
val open_graph : ?options:'a list -> Rdf_uri.uri -> Rdf_mem.t
val add_triple :
Rdf_mem.t ->
sub:Rdf_mem.Triples.Map.key ->
pred:Rdf_mem.Triples.Map.key -> obj:Rdf_mem.Triples.Set.elt -> unit
val rem_triple :
Rdf_mem.t ->
sub:Rdf_mem.Triples.Map.key ->
pred:Rdf_mem.Triples.Map.key -> obj:Rdf_mem.Triples.Set.elt -> unit
val add_triple_t :
Rdf_mem.t ->
Rdf_mem.Triples.Map.key * Rdf_mem.Triples.Map.key *
Rdf_mem.Triples.Set.elt -> unit
val rem_triple_t :
Rdf_mem.t ->
Rdf_mem.Triples.Map.key * Rdf_mem.Triples.Map.key *
Rdf_mem.Triples.Set.elt -> unit
val subjects_of :
Rdf_mem.t ->
pred:Rdf_mem.Triples.Map.key ->
obj:Rdf_mem.Triples.Map.key -> Rdf_mem.Triples.Set.elt list
val predicates_of :
Rdf_mem.t ->
sub:Rdf_mem.Triples.Map.key ->
obj:Rdf_mem.Triples.Set.elt -> Rdf_mem.Triples.Map.key list
val objects_of :
Rdf_mem.t ->
sub:Rdf_mem.Triples.Map.key ->
pred:Rdf_mem.Triples.Map.key -> Rdf_mem.Triples.Set.elt list
val find :
?sub:Rdf_mem.Triples.Map.key ->
?pred:Rdf_mem.Triples.Map.key ->
?obj:Rdf_mem.Triples.Map.key ->
Rdf_mem.t ->
(Rdf_mem.Triples.Map.key * Rdf_mem.Triples.Map.key *
Rdf_mem.Triples.Set.elt)
list
val exists :
?sub:Rdf_mem.Triples.Map.key ->
?pred:Rdf_mem.Triples.Map.key ->
?obj:Rdf_mem.Triples.Map.key -> Rdf_mem.t -> bool
val exists_t :
Rdf_mem.Triples.Map.key * Rdf_mem.Triples.Map.key *
Rdf_mem.Triples.Map.key -> Rdf_mem.t -> bool
val subjects : Rdf_mem.t -> Rdf_mem.Triples.Map.key list
val predicates : Rdf_mem.t -> Rdf_mem.Triples.Map.key list
val objects : Rdf_mem.t -> Rdf_mem.Triples.Map.key list
val transaction_start : Rdf_mem.t -> unit
val transaction_commit : Rdf_mem.t -> unit
val transaction_rollback : Rdf_mem.t -> unit
val new_blank_id : Rdf_mem.t -> Rdf_node.blank_id
end