Uses of Package
dev.civl.mc.util.IF

Packages that use dev.civl.mc.util.IF
Package
Description
dev.civl.mc.dynamic.IF
Module dynamic provides general computations of symbolic expressions, including the pretty printing method.
dev.civl.mc.kripke.IF
Module kripke provides the definition of various transitions and the enabler and state manager of CIVL.
dev.civl.mc.model.IF
Module model defines a static model, i.e., the control flow graph, representation of a CIVL-C program.
dev.civl.mc.model.IF.expression
Submodule model.expression defines expression in CIVL.
dev.civl.mc.model.IF.statement
Submodule model.statement defines a statement of a CIVL-C program.
dev.civl.mc.predicate.IF
Module predicate defines predicates that are required to hold for any CIVL-C programs.
dev.civl.mc.semantics.IF
Module semantics implements the semantics of CIVL-C.
dev.civl.mc.state.IF
Module state is responsible for the creation and manipulation of states of a CIVL model.
dev.civl.mc.util.IF
Module util provides various general-purpose utilities used by CIVL.