Uses of Class
edu.ksu.cis.projects.bogor.module.DefaultSchedulingStrategist.DefaultSchedulerStrategyInfo

Packages that use DefaultSchedulingStrategist.DefaultSchedulerStrategyInfo

edu.ksu.cis.projects.bogor.module

Provide a generic framework for dataflow analysis on BIR transition systems.

Uses of DefaultSchedulingStrategist.DefaultSchedulerStrategyInfo in edu.ksu.cis.projects.bogor.module

Fields in edu.ksu.cis.projects.bogor.module declared as DefaultSchedulingStrategist.DefaultSchedulerStrategyInfo

protected DefaultSchedulingStrategist.DefaultSchedulerStrategyInfo

DefaultSchedulingStrategist.currentDSSI Tracks which nondeterministic branches have been taken inside a single action node.

Fields in edu.ksu.cis.projects.bogor.module with type parameters of type DefaultSchedulingStrategist.DefaultSchedulerStrategyInfo

protected HashMap<DefaultSchedulingStrategist.NodeContext,DefaultSchedulingStrategist.DefaultSchedulerStrategyInfo>

DefaultSchedulingStrategist.nodeDSSIMap Stateful variable