Question

constraint_declaration ::= [ static ] constraint constraint_identifier constraint_block

constraint_block ::= { { constraint_block_item } }

constraint_block_item ::=

solve identifier_list before identifier_list ;

| constraint_expression

constraint_expression ::=

expression_or_dist ;

| expression –> constraint_set

| if ( expression ) constraint_set [ else constraint_set ]

| foreach ( array_identifier [ loop_variables ] ) constraint_set

constraint_set ::=

constraint_expression

| { { constraint_expression } }

dist_list ::= dist_item { , dist_item }

dist_item ::= value_range [ dist_weight ]

dist_weight ::=

:= expression

| :/ expression

constraint_prototype ::= [ static ] constraint constraint_identifier ;

extern_constraint_declaration ::=

[ static ] constraint class_scope constraint_identifier constraint_block

identifier_list ::= identifier { , identifier }