command check

typeside t
schema c : t
schema s : t
instance i : s
----------------------------------
command (check c i) : Optional.empty
	
Checks if an instance satifies a constraint.

Appears in:

All_Syntax
Constraints
Demo
LambdaConf
Petri
QueryED
vsSQL3

Options:

always_reload
num_threads
talg_reduction
timeout