Ascend FD-23R Manuel d'utilisateur télécharger pdf (Page 7)

Contents

Acronyms iii

Remark v

1 The TOY(FD) System 1

1.1 What is TOY(FD)? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

1.1.1 In Brief Words, TOY(FD) ... . . . . . . . . . . . . . . . . . . . . 1

1.1.2 More.... . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

1.2 The Current Implementation . . . . . . . . . . . . . . . . . . . . . . . . 2

1.2.1 Where to Find TOY(FD)? . . . . . . . . . . . . . . . . . . . . . 2

1.2.2 Requirements . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2

1.2.3 Eﬃciency . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2

1.2.4 Referencing this Software . . . . . . . . . . . . . . . . . . . . . . 2

1.2.5 Distribution . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3

1.2.6 Runing TOY(FD) . . . . . . . . . . . . . . . . . . . . . . . . . . 5

1.3 Interpreter Commands . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6

1.3.1 Calls to the Operating System (OS) . . . . . . . . . . . . . . . . 7

1.3.2 Compiling and Running TOY(FD) Programs . . . . . . . . . . . 7

1.3.3 Information about Functions . . . . . . . . . . . . . . . . . . . . 8

1.3.4 Saving the session . . . . . . . . . . . . . . . . . . . . . . . . . . 8

1.3.5 Activating the Output for FD Constraint Solving . . . . . . . . . 8

1.4 FD Constraints . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9

1.4.1 Predeﬁned Data Types . . . . . . . . . . . . . . . . . . . . . . . . 9

1.4.2 Membership Constraint . . . . . . . . . . . . . . . . . . . . . . . 10

1.4.3 Relational Constraints . . . . . . . . . . . . . . . . . . . . . . . . 11

1.4.4 Arithmetic Constraints . . . . . . . . . . . . . . . . . . . . . . . 12

1.4.5 Combinatorial Constraints . . . . . . . . . . . . . . . . . . . . . . 13

1.4.6 Enumeration Constraints . . . . . . . . . . . . . . . . . . . . . . 17

1.4.7 Statistics Constraints . . . . . . . . . . . . . . . . . . . . . . . . 19

1.5 Some more constraints..... . . . . . . . . . . . . . . . . . . . . . . . . . . 21

vii

1 2 3 4 5 6 7 8 9 10 11 12 ... 80 81

Pas de commentaire

Ascend FD-23R Manuel d'utilisateur Page 7