JSMILE: FaultInfo

From DSL

This class hold information on a diagnostic fault.

[edit] Methods

• FaultInfo(int node, int index, int outcome, boolean pursued, double probability)

Constructor.

• int getIndex()

void setIndex(int index)

The index of the fault.

• int getNode()

void setNode(int node)

A handle of a node.

• int getOutcome()

void setOutcome(int outcome)

An index of the outcome set as a fault.

• boolean isPursued()

void setPursued(boolean pursued)

Is the fault set as pursued.

• double getProbability()

void setProbability(double probability)

Probability of the fault.