jariba / europa-pso

Automatically exported from code.google.com/p/europa-pso
1 stars 0 forks source link

strictlyPrecedes constraint #73

Closed GoogleCodeExporter closed 8 years ago

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

Original issue reported on code.google.com by miata...@gmail.com on 4 May 2010 at 3:27

GoogleCodeExporter commented 8 years ago
Added in r6032, not necessarily tested.

Original comment by miata...@gmail.com on 8 Jun 2010 at 4:26