Export to GitHub

europa-pso - issue #73

strictlyPrecedes constraint

Posted on May 4, 2010 by Swift Hippo

Paul would like to add a "strictlyPrecedes" constraint to the temporal network, with the interpretation of strictlyPrecedes(a, b) <=> temporalDistance(a, [1 +inf], b)

Comment #1

Posted on Jun 8, 2010 by Swift Hippo

Added in r6032, not necessarily tested.

Status: Fixed

Labels:
Type-Enhancement Priority-Medium Component-TemporalNetwork