transform transform_identity

schema s : t
instance i : s
----------------------------------
transform (identity i) : i -> i
	
The identity transform on an instance. One can also write include i1 i2 when i1 appears in i2.

Appears in:

All_Syntax
TutorialTSP

Options:

always_reload
num_threads
talg_reduction
timeout