Struct LTLPlanner::ProductGraphStateInfo

Defined in File LTLPlanner.h

Nested Relationships

This struct is a nested type of Class LTLPlanner.

Struct Documentation

struct ProductGraphStateInfo

A structure to hold measurement information for a high-level state, as well as the set of tree motions belonging to that high-level state. Exactly one ProductGraphStateInfo will exist for each ProductGraph::State.

Public Functions

ProductGraphStateInfo() = default: Creates an info object with no measurements and no tree motions.

void addMotion(Motion *m): Adds a tree motion to an info object. This method is called whenever a new tree motion is created in the high-level state corresponding to this info object.

Public Members

double weight = {0.}

PDF<Motion*> motions

std::unordered_map<Motion*, PDF<Motion*>::Element*> motionElems

double volume = {0.}

double autWeight = {0.}

unsigned int numSel = {0}

PDF<ProductGraph::State*>::Element *pdfElem = {nullptr}