-
img.h
- External header file
-
imgInt.h
- Internal header file
-
imgConj.c
- Routines for image computation using a conjunctively
decomposed transition relation.
-
imgDisj.c
- Routines for image computation using a disjunctively
decomposed transition relation.
-
imgIdisj.c
- required
-
imgIwls95.c
- Image computation for IWLS95 technique.
-
imgMono.c
- Routines for image computation using a monolithic transition
relation.
-
imgUtil.c
- High-level routines to perform image computations.
img.h
External header file
By: Marco Roveri
imgInt.h
Internal header file
By: Marco Roveri
imgConj.c
Routines for image computation using a conjunctively
decomposed transition relation.
By: Marco Roveri
Routines for image computation using a conjunctively
decomposed transition relation.
See AlsoimgIwls95.c,
imgMono.c,
imgDisj.c
-
ImgImageBwdConjunctive()
- Computes the backward image of a set of states.
-
ImgImageFwdConjunctive()
- Computes the forward image of a set of states.
imgDisj.c
Routines for image computation using a disjunctively
decomposed transition relation.
By: Marco Roveri
Routines for image computation using a disjunctively
decomposed transition relation.
See AlsoimgIwls95.c,
imgConj.c,
imgMono.c
-
ImgImageBwdDisjunctive()
- Computes the backward image of a set of
states.
-
ImgImageFwdDisjunctive()
- Computes the forward image of a set of
states.
imgIdisj.c
required
By: optional
optional
See Alsooptional
-
ImgImageBwdInertialDisjunctive()
- required
imgIwls95.c
Image computation for IWLS95 technique.
By: Marco Roveri
Routines for image computation using component transition
relation approach described in the proceedings of
IWLS'95 [1], (henceforth referred to IWLS95 technique).
See AlsocompileIwls95.c
-
ImgImageBwdIwls95()
- Computes the backward image of a set of
states.
-
ImgImageFwdIwls95()
- Computes the forward image of a set of
states.
-
Iwls95ImageFwd()
- Computes the forward image of a set S of states in term of
current state variables.
-
Iwls95ImageBwd()
- Computes the backward image of a set S of states in term of
current state variables.
-
Iwls95ImageBoth()
- Performs both forward or backward image computation.
imgMono.c
Routines for image computation using a monolithic transition
relation.
By: Marco Roveri
See AlsoimgIwls95.c,
imgConj.c
imgDisj.c
-
ImgImageBwdMonolithic()
- Computes the backward image of a set of states.
-
Img_ImageBwdMonolithicOpt()
- Computes the backward image of a set of states between
fromLowerBound and fromUpperBound.
-
ImgImageFwdMonolithic()
- Computes the forward image of a set of states.
-
Img_ImageFwdMonolithicOpt()
- Computes the forward image of a set of states between
fromLowerBound and fromUpperBound.
imgUtil.c
High-level routines to perform image computations.
By: Marco Roveri
This file provides the interface to the method-specific
image computation routines.
-
Img_ImageBwd()
- Computes the backward image of a set of states.
-
Img_ImageFwd()
- Computes the forward image of a set of states.
-
Img_Check()
- required
Last updated on 990908 16h51