-
Compile_BuildVarsBdd()
- The ADD variables are built.
-
Compile_CheckProgram()
- Semantic checks on the model.
-
Compile_CompileFrame()
- Computes the ADD representing what does not
change between two consecutive states.
-
Compile_CompileInit()
- Computes the init_bdd.
-
Compile_CompileModelConj()
- Builds an implicitly conjoined transition relation.
-
Compile_CompileModelDisj()
- Builds the disjunctively partitioned transition relation.
-
Compile_CompileModelIwls95()
- The implicitly conjoined transition relation is
computed accordingly to the heuristic described in IWLS95.
-
Compile_CompileModel()
- Builds the the transition relation of the model.
-
Compile_EncodeVarsInit()
- Initializes the data structure relative to BDD variables.
-
Compile_EncodeVar()
- Encode a variable into BDD.
-
Compile_End()
- Shut down the compile package
-
Compile_FlattenHierarchy()
- Traverses the module hierarchy and extracts the
information needed to compile the automaton.
-
Compile_GetOrdering()
- Return the list of variables corresponding
to the current order of variables in the system.
-
Compile_Init()
- Initializes the compile package.
-
Compile_ReadOrder()
- reads from a file the variable order.
-
Compile_WriteOrder()
- Writes on a file the variable order.
Last updated on 990908 16h51