Ascend FD-23R Manual do Utilizador descarregar pdf (Página 21)

1.4. FD Constraints 9

• /cflpfd

This command is necessary to see important information about constraint solving.

Below we show an example.

TOY(FD)>domain [X] 1 3

yes

Elapsed time: 50 ms.

more solutions (y/n/d) [y]?

no.

Elapsed time: 0 ms.

TOY(FD)>

1.4 FD Constraints

1.4.1 Predeﬁned Data Types

In TOY(FD), we have deﬁned a set of predeﬁned datatypes that are used to deﬁne the

constraints. Table 1.1 shows the set of these datatypes.

Table 1.1: Predeﬁned Datatypes for FD Constraints

data statistics = resumptions | entailments | prunings | backtracks

| constraints

data reasoning = value | domains | range

data options = on reasoning | complete bool

data typeprecedence = d (int,int,int)

data newOptions = precedences [typeprecedence] | path consistency bool

| static sets bool | edge finder bool | decomposition bool

1 2 ... 16 17 18 19 20 21 22 23 24 25 26 ... 80 81

Sem comentários

Ascend FD-23R Manual do Utilizador Página 21