YAP 7.1.0
exo_interval.yap File Reference

This file implements a very simple interval solver designed to interact with the exo data-base. More...

Go to the source code of this file.

Detailed Description

This file implements a very simple interval solver designed to interact with the exo data-base.

Author
VITOR SANTOS COSTA vsc@V.nosp@m.ITOR.nosp@m.s-MBP.nosp@m..lan
Date
2013

It assumes simple queries and a contiguous interval, and does not really expect to do non-trivial constraint propagation and solving

Definition in file exo_interval.yap.