Abstract
In this chapter we describe visualisation tools for global constraints in the CHIP system. These tools help to understand the behaviour of different global constraints, the core feature of the CHIP constraint language. The tools follow a general classification scheme for the use of global constraints in global constraint concepts. Each concept captures the use of a constraint for a particular type of problem, which can be visualised in a specific way. The different visualisers form a class structure of CHIP++ objects, and can be extended or modified by rewriting some callback predicates.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Aggoun, A., Beldiceanu, N.: Extending CHIP in Order to Solve ComplexScheduling Problems. Journal of Mathematical and Computer Modelling 17(7), 57–73 (1993)
Beldiceanu, N., Contejean, E.: Introducing Global Constraints in CHIP. Journal of Mathematical and Computer Modelling 20(12), 97–123 (1994)
Beldiceanu, N., Bourreau, E., Rivreau, D., Simonis, H.: Solving Resource Constrained Project Scheduling Problems with CHIP. In: Fifth International Workshop on Project Management and Scheduling, Poznan, Poland (April 1996)
Fabris, M., et al.: CP Debugging Needs and Tools. In: Proc. of the 3rd. Int’l Workshop on Automated Debugging-AADEBUG 1997, Linköping, Sweden, pp. 103–122 (May 1997)
Kay, P., Simonis, H.: Building Industrial CHIP Applications from Reusable Software Components. In: Proceedings of the Third International Conference on the Practical Application of Prolog, Paris, France (April 1995)
Meier, M.: Debugging Constraint Programs. In: Montanari, U., Rossi, F. (eds.) CP 1995. LNCS, vol. 976, pp. 204–221. Springer, Heidelberg (1995)
Schulte, C.: Oz Explorer: A Visual Constraint Programming Tool. In: Proceedings of the Fourteenth International Conference On Logic Programming, Leuven, Belgium, pp. 286–300. The MIT Press, Cambridge (1997)
Simonis, H., Cornelissens, T.: Modelling Producer/Consumer Constraints. In: Montanari, U., Rossi, F. (eds.) CP 1995. LNCS, vol. 976. Springer, Heidelberg (1995)
Simonis, H., Aggoun, A.: Search Tree Debugging. Technical Report, COSYTEC SA (October 1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Simonis, H., Aggoun, A., Beldiceanu, N., Bourreau, E. (2000). Complex Constraint Abstraction: Global Constraint Visualisation. In: Deransart, P., Hermenegildo, M.V., Małuszynski, J. (eds) Analysis and Visualization Tools for Constraint Programming. Lecture Notes in Computer Science, vol 1870. Springer, Berlin, Heidelberg. https://doi.org/10.1007/10722311_13
Download citation
DOI: https://doi.org/10.1007/10722311_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41137-6
Online ISBN: 978-3-540-40016-5
eBook Packages: Springer Book Archive