object
demodb
compilation flags:
static, context_switching_calls
implements:
public
databasep
Public interface
(see related entities)
Protected interface
(see related entities)
Private predicates
(see related entities)
Operators
(none)
Remarks
(none)