-
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 1020327 15h41