Struct FluentInteraction

Struct Documentation

struct FluentInteraction

A record of the most recent and current interactions between a specific numeric variable, and the steps in the plan.

Public Functions

inline FluentInteraction()

Default constructor. lastInstantaneousEffect is set to -1, i.e. no step has yet affected this variable.

Public Members

int lastInstantaneousEffect

The plan step index of the last action to have a discrete numeric effect on this variable.

set<int> activeCTSEffects

A set of plan steps, each the start of an action with a continuous numeric effect on this variable.

map<int, int> activeInvariants

A record of which steps have invariants acting on this variable. The keys of the map denote the end steps of actions; the values the corresponding start step.