Uses of Package
jline.lang.reward

Packages that use jline.lang.reward

Package	Description
jline.lang	Abstractions to declare basic elements of a model.
jline.lang.reward	Reward function types and utilities for CTMC analysis.

Classes in jline.lang.reward used by jline.lang

Class	Description
RewardFunction	Functional interface for defining reward functions on CTMC states.

Classes in jline.lang.reward used by jline.lang.reward

Class	Description
RewardDescriptor	A RewardFunction that also records what the reward measures.
RewardDescriptor.Kind	Structural kind of a reward.
RewardFunction	Functional interface for defining reward functions on CTMC states.