edita-internal: edit a GrafoDB formula

.editaR Documentation

edit a GrafoDB formula

Description

edit a GrafoDB formula

Usage

.edita(x, name, ...)

Arguments

x

GrafoDB instance

name

name of the object to be edited

...

other eventual options


giupo/GrafoDB documentation built on Oct. 12, 2022, 9:43 a.m.