Constraints
Adding Predefined Logic
checkin_checkout_constraint = {
'constraint_class': 'Inequality',
'table_name': 'guests',
'constraint_parameters': {
'low_column_name': 'checkin_date',
'high_column_name': 'checkout_date'
}
}add_constraints
get_constraints
Training the synthesizer
Adding Custom Logic
load_custom_constraint_classes
Use a Custom Constraint
Last updated