command check

typeside t
schema s : t
constraints c : s
instance i : s
----------------------------------
command (check c i)

Checks if an instance satifies a constraint.

Appears in:

All_Syntax
Constraints
Demo
LambdaConf
NewDemo
NewDemoPsuedo
Petri
QueryED
vsSQL3

Options:

always_reload
check_command_export_file
num_threads
talg_reduction
timeout