img package abstract

Img_AbstractTransitionRelation(): Abstracts out given variables from transition relation.
Img_AddDontCareToImage(): Adds a dont care set to the given image.
Img_ApproximateImage(): Approximate image.
Img_ApproximateTransitionRelation(): Approximate transition relation.
Img_ClusterRelationArray(): Clusters relation array and returns quantification schedule.
Img_ComposeIntermediateNodes(): Replace partitioned transition relation.
Img_DupTransitionRelation(): Duplicates the transition relation for backup.
Img_End(): End the image package.
Img_ForwardImageInfoConjoinWithWinningStrategy(): Create restricted transition relations by conjoining with winning strategy
Img_ForwardImageInfoRecoverFromWinningStrategy(): Restore original transition relations from restricted transition relations by conjoining with winning strategy
Img_GetNumberOfImageComputation(): Returns number of image/preimage computation.
Img_GetPartitionedTransitionRelation(): Returns current partitioned transition relation.
Img_GuidedSearchReadOverApproxMinimizeMethod(): Returns the guided search minimize method of overapproximating the transition relation.
Img_GuidedSearchReadUnderApproxMinimizeMethod(): Returns the guided search minimize method of underapproximating the transition relation.
Img_ImageAllowPartialImage(): Sets the flag to allow the next image computation to return a subset of the actual image.
Img_ImageConstrainAndClusterTransitionRelation(): Constrains/adds dont-cares to the bit relations with the given constraint and creates a new transtion relation.
Img_ImageGetUnreachableStates(): Get unreachable states
Img_ImageInfoComputeBwdWithDomainVars(): Computes the backward image of a set expressed in terms of domain variables.
Img_ImageInfoComputeBwd(): Computes the backward image of a set.
Img_ImageInfoComputeEXWithDomainVars(): Computes the backward image of a set expressed in terms of domain variables.
Img_ImageInfoComputeFwdWithDomainVars(): Computes the forward image of a set and expresses it in terms of domain variables.
Img_ImageInfoComputeFwd(): Computes the forward image of a set.
Img_ImageInfoComputeImageWithDomainVars(): Computes the forward image of a set and expresses it in terms of domain variables.
Img_ImageInfoComputePreImageWithDomainVars(): Computes the backward image of a set expressed in terms of domain variables.
Img_ImageInfoFreeFAFW(): Frees the memory associated with imageInfo.
Img_ImageInfoFree(): Frees the memory associated with imageInfo.
Img_ImageInfoInitialize(): Initializes an imageInfo structure for the given method and direction.
Img_ImageInfoObtainMethodTypeAsString(): Returns a string giving the method type of an imageInfo.
Img_ImageInfoObtainMethodType(): Returns the method type of an imageInfo.
Img_ImageInfoObtainOptimizeType(): Returns the method type of an imageInfo.
Img_ImageInfoPrintMethodParams(): Prints information about the image technique currently used.
Img_ImageInfoResetLinearComputeRange(): Reset linear compute range flag.
Img_ImageInfoResetUseOptimizedRelationFlag(): reset optimization relation flag .
Img_ImageInfoSetLinearComputeRange(): Set linear compute range flag.
Img_ImageInfoSetUseOptimizedRelationFlag(): set optimization relation flag .
Img_ImageInfoUpdateVariables(): Updates present state and primary input variables.
Img_ImagePrintPartialImageOptions(): Prints partial image options.
Img_ImageWasPartial(): Queries whether the last image computation was partial.
Img_Init(): Initialize the image package.
Img_IsPartitionedTransitionRelation(): Returns 1 if partitioned transition relation is used.
Img_IsQuantifyArraySame(): Check the given address of array+t is same as the functionData.quantifyArray.
Img_IsQuantifyCubeSame(): Check the given address of mdd_t is same as the functionData.quantifyCube.
Img_IsTransitionRelationOptimized(): Check whether the given transition relation is optimized.
Img_MinimizeImageArray(): Minimizes a single bdd with a set of constraint.
Img_MinimizeImage(): Minimizes an image with given constraint.
Img_MinimizeTransitionRelation(): Minimizes transition relation with given constraint if it hasn't been minimized already.
Img_MultiwayLinearAndSmooth(): Returns the result after existentially quantifying a set of variables after taking the product of the array of relations.
Img_PrintHybridOptions(): Prints the options for hybrid image computation.
Img_PrintMlpOptions(): Prints the options for MLP image computation.
Img_PrintPartitionedTransitionRelation(): Prints info of the partitioned transition relation.
Img_PrintTfmOptions(): Prints the options for image computation using transition function method.
Img_ReadMinimizeMethod(): Returns current method of minimizing transition relation.
Img_ReadPrintMinimizeStatus(): Reads the flag whether to print the status of minimizing transition relation.
Img_ReorderPartitionedTransitionRelation(): Reorder partitioned transition relation.
Img_ReplaceIthPartitionedTransitionRelation(): Replace ith partitioned transition relation.
Img_ReplacePartitionedTransitionRelation(): Replace partitioned transition relation.
Img_ResetNumberOfImageComputation(): Resets number of image/preimage computation.
Img_ResetTrMinimizedFlag(): Resets the flag that transition relation is minimized.
Img_RestoreTransitionRelation(): Restores original transition relation from saved.
Img_SetPrintMinimizeStatus(): Sets the flag whether to print the status of minimizing transition relation.
Img_Substitute(): Substitutes variables between domain and range.
Img_TfmCheckGlobalCache(): Checks whether a global cache is used for transition function method.
Img_TfmFlushCache(): Frees all cache contents of image computation using transition function method.
Img_TfmGetCacheStatistics(): Gets the statistics of image cache of transition function method.
Img_TfmGetRecursionStatistics(): Gets the statistics of recursions of transition function method.
Img_TfmPrintCacheStatistics(): Prints the statistics of image cache of transition function method.
Img_TfmPrintRecursionStatistics(): Prints the statistics of recursions for transition function method.
Img_TfmPrintStatistics(): Prints the statistics of image cache and recursions in in transition function method.
Img_UpdateQuantificationSchedule(): Updates quantification schedule.
Img_UserSpecifiedMethod(): Return the image method preferred by the user.

Last updated on 20050519 00h50