Uses of Package
dev.civl.mc.dynamic.IF
Packages that use dev.civl.mc.dynamic.IF
Package
Description
Module dynamic provides general computations of symbolic expressions,
including the pretty printing method.
Module kripke provides the definition of various
transitions and the enabler and state manager of CIVL.
Module predicate defines predicates that are required to hold for any CIVL-C programs.
Module semantics implements the semantics of CIVL-C.
Module state is responsible for the creation and manipulation of
states of a CIVL model.
-
Classes in dev.civl.mc.dynamic.IF used by dev.civl.mc.dynamic.IFClassDescriptionThis class is a immutable data structure that stores a set of memory locations.A SymbolicUtility provides all the common operations of symbolic expressions.
-
Classes in dev.civl.mc.dynamic.IF used by dev.civl.mc.kripke.IFClassDescriptionA SymbolicUtility provides all the common operations of symbolic expressions.
-
Classes in dev.civl.mc.dynamic.IF used by dev.civl.mc.predicate.IFClassDescriptionA SymbolicUtility provides all the common operations of symbolic expressions.
-
Classes in dev.civl.mc.dynamic.IF used by dev.civl.mc.semantics.IFClassDescriptionA SymbolicUtility provides all the common operations of symbolic expressions.
-
Classes in dev.civl.mc.dynamic.IF used by dev.civl.mc.state.IFClassDescriptionThis class is a immutable data structure that stores a set of memory locations.A SymbolicUtility provides all the common operations of symbolic expressions.