protocol

cloning

Object cloning protocol.

Author: Paulo Moura
Version: 1:0:0
Date: 2010-09-14
Compilation flags:
static
Dependencies:
(none)
Remarks:
(none)
Inherited public predicates:
(none)

Public predicates

clone/1

Clones an object, returning the identifier of the new object if none is given.

Compilation flags:
static
Template:
clone(Clone)
Mode and number of proofs:
clone(?object) - zero_or_one

Protected predicates

(none)

Private predicates

(none)

Operators

(none)