void state_copy_to

(state* source, state* dest)

Copies a given state to a given destination.

Documentation

Copies a given state to a given destination.

Parameters:

source - : state to copy
dest - : destination

Author:

Peter Pipenbacher

Alphabetic index