img.h
External header file
imgInt.h
Internal header file
imgUtil.c
Routines to perform image computations.

img.h

External header file

By: Marco Roveri and Emanuele Olivetti


imgInt.h

Internal header file

By: Marco Roveri and Emanuele Olivetti


imgUtil.c

Routines to perform image computations.

By: Marco Roveri and Emanuele Olivetti

Routines to perform image computations.

Img_ImageBwd()
Computes the backward image of a set of states.
Img_ImageFwd()
Computes the forward image of a set of states.
Img_Check()
Check if built model exists.
Img_CheckNoCone()
Check if a model has been built and exists.
ImgImageBwdCP()
Computes the backward image of a set of states.
ImgImageFwdCP()
Computes the forward image of a set of states.
CPImageBoth()
Performs both forward or backward image computation.

Last updated on 1011114 08h21