search

pstlab / oRatio

oRatio is an Integrated Logic and Constraint based solver
Apache License 2.0
6 stars 1 forks source link

Tau issue? #19

Closed Raffarti closed 4 years ago

Raffarti commented 4 years ago

I just noticed that

class Rover {
    real id;

    Rover(real id) :
        id(id) {}

    predicate Equipped() {false;}
}

Rover r0 = new Rover(0.0);
Rover r1 = new Rover(1.0);

fact e = new r1.Equipped();
goal t = new r0.Equipped();

actually finds a solution. Defining Rover as Rover : StateVariable doesn't find a solution (unless r1 is used for the goal as well), which looks more natural.

riccardodebenedictis commented 4 years ago

Thank you for spotting this! I was using this within rule definition, but it clearly makes no sense.. I replaced this with tau and I solved this issue!