riddle-lang 0.2.0

RiDDLe is a language for the definition of timeline-based domains and problem definitions, designed to facilitate the integration with solvers and to increase modularity and reusability of domain models.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44

/*
* This problem creates three goals, each acheivable by introducing a subgoal which, in turn, sets the value of a global variable to a specific value.
* This problem is intended to challenge the heuristic, which has to choose the correct disjunct in order to solve the problem.
*/

real n;

predicate P0() {
    {
        goal p = new P(x:0.0);
    } or {
        goal p = new P(x:1.0);
    } or {
        goal p = new P(x:2.0);
    }
}

predicate P1() {
    {
        goal p = new P(x:1.0);
    } or {
        goal p = new P(x:2.0);
    } or {
        goal p = new P(x:0.0);
    }
}

predicate P2() {
    {
        goal p = new P(x:2.0);
    } or {
        goal p = new P(x:0.0);
    } or {
        goal p = new P(x:1.0);
    }
}

predicate P(real x) {
    x == n;
}

goal g0 = new P0();
goal g1 = new P1();
goal g2 = new P2();