Package jline.lang.reward

package jline.lang.reward

Reward function types and utilities for CTMC analysis.

Related Packages

Package	Description
jline.lang	Abstractions to declare basic elements of a model.

Interfaces

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