Uses of Interface
jline.lang.reward.RewardFunction

Packages that use RewardFunction

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

Uses of RewardFunction in jline.lang

Fields in jline.lang with type parameters of type RewardFunction

Modifier and Type	Field	Description
Map<String,RewardFunction>	NetworkStruct.reward

Methods in jline.lang that return RewardFunction

Modifier and Type	Method	Description
RewardFunction	Network.getReward(String name)	Get a specific reward function by name.

Methods in jline.lang that return types with arguments of type RewardFunction

Modifier and Type	Method	Description
Map<String,RewardFunction>	Network.getRewards()	Get all defined reward functions.

Methods in jline.lang with parameters of type RewardFunction

Modifier and Type	Method	Description
void	Network.setReward(String name, RewardFunction rewardFn)	Define a reward function for CTMC reward computation.

Uses of RewardFunction in jline.lang.reward

Classes in jline.lang.reward that implement RewardFunction

Modifier and Type	Class	Description
class	RewardDescriptor	A RewardFunction that also records what the reward measures.
class	TabulatedRewardFunction	A reward function backed by a lookup table over aggregated state vectors.

Methods in jline.lang.reward that return RewardFunction

Modifier and Type	Method	Description
RewardFunction	RewardDescriptor.getDelegate()

Methods in jline.lang.reward with parameters of type RewardFunction

Modifier and Type	Method	Description
static RewardDescriptor	Reward.custom(RewardFunction userFn)	Wraps an arbitrary user reward function.

Constructors in jline.lang.reward with parameters of type RewardFunction

Modifier	Constructor	Description
	RewardDescriptor(RewardDescriptor.Kind kind, Node node, JobClass jobClass, RewardFunction delegate)	Creates a reward descriptor.