Exceptions
Exceptions that may be raised when creating, simulating, or analysing CP-nets Errors and Bugs


CPN ML Exceptions

The following exceptions are declared as part of CPN ML.

InternalError str Indicates that a serious error occurred during syntax checking, code generation, simulation, or state space analysis. str is a string containing a more detailed error message.
no_singleton Indicates an attempt to use the multi-set function ms_to_col to convert either an empty multi-set or a multi-set with more than one element to a single colour.
Subtract Indicates an illegal attempt to perform multi-set subtraction.
Bernoulli
Binomial
Chisq
Discrete
Erlang
Exponential
Normal
Poisson
Student
Uniform
Indicates that an error occurred when using one of the random distribution functions.
ExcAvlLookup Indicates that a node was not found when looking up a particular node when using the state space tool. May be raised when using the State space to simulator tool, or when you make state space queries.
NotValidDirExn str Indicates that an error occurred when initializing or accessing one of the output directories that are managed by output management. str is a string containing a more detailed error message.

A serious error has occurred if an InternalError exception is not handled by CPN Tools. If you encounter an InternalError exception (or an exception that has a name that starts with CPN'), please submit a bug report. Please include the net that caused the problem, and include a description of the situation that led to the exception.

Standard ML Exceptions

The following Standard ML exceptions may also be raised when editing, simulating or analysing a CP-net:

For details about these exceptions see the General structure in the SML Basis Library.

Additional SML exceptions are described in various other signatures and structures that are documented in the SML Basis Library.