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)