Package it.univr.di.cstnu.algorithms

Class PSTN.PSTNCheckStatus

java.lang.Object

it.univr.di.cstnu.algorithms.STN.STNCheckStatus

it.univr.di.cstnu.algorithms.PSTN.PSTNCheckStatus

All Implemented Interfaces:

Serializable

Enclosing class:

PSTN

public static class PSTN.PSTNCheckStatus
extends STN.STNCheckStatus

Extends STNCheckStatus to represent the result of the approximating STNU.

See Also:

• Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
STNU	approximatingSTNU	DC STNU obtained setting contingent link bounds such that the conjunct probability mass is probabilityMass.
int	exitFlag	xit flag of the minimization procedure.
double	probabilityMass	the conjuncted probability mass obtained by setting the contingent bounds in approximatingSTNU.
static final long	serialVersionUID
it.unimi.dsi.fastutil.objects.ObjectImmutableList<STNUEdge>	srn	Possible semi-reducible negative cycle;
(package private) STNU.STNUCheckStatus.SRNCKind	srncKind	Kind of SRNC

Fields inherited from class it.univr.di.cstnu.algorithms.STN.STNCheckStatus

consistency, cycles, executionTimeNS, finished, initialized, negativeCycle, negativeLoopNode, note, partialExecutionTimeNS, propagationCalls, stdDevExecutionTimeNS, stdDevPartialExecutionTimeNS, timeout

Constructor Summary

Constructors

Constructor	Description
PSTNCheckStatus()

Method Summary

Modifier and Type	Method	Description
STNU	getApproximatingSTNU()
double	getProbabilityMass()
it.unimi.dsi.fastutil.objects.ObjectImmutableList<STNUEdge>	getSrn()
STNU.STNUCheckStatus.SRNCKind	getSrncKind()
String	toString()

Methods inherited from class it.univr.di.cstnu.algorithms.STN.STNCheckStatus

checkTimeOutAndAdjustStatus, reset

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Details

serialVersionUID

public static final long serialVersionUID

See Also:

• Constant Field Values

approximatingSTNU

public transient STNU approximatingSTNU

DC STNU obtained setting contingent link bounds such that the conjunct probability mass is probabilityMass.

exitFlag

public int exitFlag

xit flag of the minimization procedure.

probabilityMass

public double probabilityMass

the conjuncted probability mass obtained by setting the contingent bounds in approximatingSTNU.

srn

public it.unimi.dsi.fastutil.objects.ObjectImmutableList<STNUEdge> srn

Possible semi-reducible negative cycle;

srncKind

STNU.STNUCheckStatus.SRNCKind srncKind

Kind of SRNC

Constructor Details

PSTNCheckStatus

public PSTNCheckStatus()

Method Details

getApproximatingSTNU

public STNU getApproximatingSTNU()

Returns:

the approximating STNU, null if there is no STNU, or if it is not determined.

getProbabilityMass

public double getProbabilityMass()

Returns:

the conjunct probability mass

getSrn

public it.unimi.dsi.fastutil.objects.ObjectImmutableList<STNUEdge> getSrn()

Returns:

the negative semi-reducible cycle (if it has been determined).

getSrncKind

public STNU.STNUCheckStatus.SRNCKind getSrncKind()

Returns:

the kind of SRNC that was possibly found.

toString

public String toString()

Overrides:

toString in class STN.STNCheckStatus

Returns:

the status of a check with all determined index values.