instance cascade_delete

typeside t
schema s1 : t
instance i : s1
----------------------------------
instance (cascade_delete i : s1) : s1

Populate a schema S by doing a cascade delete of the input instance, removing any tuples violating a path or observation equation.

Appears in:

All_Syntax

Options:

always_reload
num_threads
talg_reduction
timeout