A 形（曲）式 of 算法 作曲 utilising rules that govern allowable 选择 which could be applied to any 参数 s of a 樂/乐 作曲 A constraint is a condition or rule that must be satisfied