Package it.univr.di.cstnu.algorithms

package it.univr.di.cstnu.algorithms

Contains all checking algorithms for (C)STN(U)s.

Author:

posenato

Class	Description
AbstractCSTN<E extends CSTNEdge>	Core class to represent and DC check Conditional Simple Temporal Network (CSTN) where the edge weights are signed integers.
AbstractCSTN.CheckAlgorithm	Only for stating which kind of DC checking algorithms have been implemented so far.
AbstractCSTN.CSTNCheckStatus	Represents the status of a CSTN-checking algorithm during an execution.
AbstractCSTN.DCSemantics	Value for dcSemantics
AbstractCSTN.EdgesToCheck<E extends Edge>	A simple class to maintain the set of edges to check in the following phase.
AbstractCSTN.NodesToCheck	Acts as a queue and a set.
CSTN	Represents a Conditional Simple Temporal Network (CSTN), and it contains a method to check the dynamic consistency of the instance.
CSTN2CSTN0	Simple class to represent and check Conditional Simple Temporal Network, assuming epsilon semantics and reducing an instance to an appropriate CSTN where DC checking is made, assuming instantaneous reaction semantics.
CSTNEpsilon	Simple class to represent and check Conditional Simple Temporal Network (CSTN) where the edge weights are signed integers.
CSTNEpsilon3R	Simple class to represent and check Conditional Simple Temporal Network (CSTN) where the edge weights are signed integers.
CSTNEpsilon3RwoNodeLabels	Simple class to represent and check Conditional Simple Temporal Network (CSTN) where the edge weights are signed integers.
CSTNEpsilonwoNodeLabels	Simple class to represent and check Conditional Simple Temporal Network (CSTN) where the edge weights are signed integers.
CSTNIR	Simple class to represent and check Conditional Simple Temporal Network (CSTN) where the edge weights are signed integers.
CSTNIR3R	Simple class to represent and check Conditional Simple Temporal Network (CSTN) where the edge weights are signed integers.
CSTNIR3RwoNodeLabels	Simple class to represent and check Conditional Simple Temporal Network (CSTN) where the edge weights are signed integers.
CSTNIRwoNodeLabels	Simple class to represent and check Conditional Simple Temporal Network (CSTN) where the edge weights are signed integers.
CSTNPotential	Represents a Conditional Simple Temporal Network (CSTN), and it contains a method to check the dynamic consistency of the instance.
CSTNPSU	Represents and checks streamlined Conditional Simple Temporal Network with Partial Shrinkable Uncertainty (CSTNPSU).
CSTNPSU.PrototypalLink	Represents a prototypal link.
CSTNU	Represents a Conditional Simple Temporal Network with Uncertainty (CSTNU).
CSTNU.CSTNUCheckStatus	A simple class to represent the status of the checking algorithm during an execution.
CSTNU2CSTN	Simple class to represent and check Conditional Simple Temporal Network with Uncertainty (CSTNU), where the DC checking is done reducing the instance to an equivalent CSTN instance where the DC checking is done assuming instantaneous reaction.
CSTNwoNodeLabel	A simple class is used to represent and check a Conditional Simple Temporal Network (CSTN) where the edge weights are signed integers.
FTNU	The FTNU model was introduced as an evolution of the CSTNPSU one, having a simpler name and a DC checking algorithm able to determine the guarded bounds correctly.
OSTNU	Represents a Simple Temporal Network with Uncertainty and Oracles (OSTNU).
OSTNU.OSTNUCheckStatus	A simple class to represent the status of the checking algorithm during an execution.
PCSTNU	Simple class that extends CSTNU for representing and managing 'parameter nodes'.
PhaseStatsBenchmarkRunner	TEMPORARY benchmark runner dedicated to a focused study of the STNU dispatchability algorithms applyMDE() (MinDispESTNU), applyFD_STNUPlusMinimization() (SIMP-SEQ), and applyFD_STNUPlusMinimizationMinus() (SIMP-SEQ-MINUS).
PhaseStatsBenchmarkRunner.AlgoKind	One of the five selectable algorithms, with its CLI flag, its labels for the two output tables, and the mapping from PhaseStatsBenchmarkRunner.Slot to the phase name recorded by STNU.STNUPhaseStatistics.
PhaseStatsBenchmarkRunner.Slot	The six sub-problem "slots" of the dispatchability pipeline shared by all three algorithms.
PSTN	Simple class to represent a Probabilistic Simple Temporal Constraint Networks (PSTN), where the edge weights are signed integers.
PSTN.PSTNCheckStatus	Extends STNCheckStatus to represent the result of the approximating STNU.
STN	Represents a Simple Temporal Network (STN), and it contains some methods to manipulate and check an STN instance.
STN.CheckAlgorithm	Implemented algorithms for STN.
STN.SCCTime	Global time counter for STN.getStrongConnectedComponents(LabeledNode)
STN.STNCheckStatus	Represents the status of a checking algorithm during its execution and the final result of a check.
STNU	Simple class to represent and consistency-check Simple Temporal Network with Uncertainty (STNU), where the edge weights are signed integers.
STNU.ActivationDistanceInfo	4-tuple to represent the negative distance between two activation nodes and the range in which such distance can be considered.
STNU.CheckAlgorithm	Possible DC checking algorithm
STNU.DistancePair	Helper record for getPCinfo method
STNU.EdgeData	Represents the immutable triple (sourceNode, weight, destinationNode) necessary for generating an STNUEdge.
STNU.ElementStatus	Status for 1) negative nodes in Morris 2014 algorithm or 2) contingent edges in RUL2020.
STNU.MDELocalInfo	Data structure for MDE algorithm to support backtracking from a contingent node in the LO-subgraph.
STNU.MDELocalInfoM4	Reusable data structure for Step M4's modified stnDisp.
STNU.MDEM3NeedStandIn	One entry of the pseudocode's needStandIn[V] list (procedure processWaits, revision r5750 of mdeStarPseudocode.tex): the diamond VACW that requires a stand-in edge leaving V, together with the two independent "special" criteria that may have fired for it.
STNU.MDEM3Succ	Successor entry used by MDE Step M3 to record an arc of the reverse predecessor graph of the AllMax projection.
STNU.MDEM4Needed	Sentinel used by Step M4 for nnddt/nnddf: an ordinary edge, not a special stand-in edge, terminates a non-negative suffix.
STNU.MDEM4RCInfo	Data returned by STNU.mdeM4b4ManageRCsForStnDisp(MDELocalInfoM3, Instant).
STNU.MDESiVarEntry	One entry of the pseudocode's siVar[W] list: the stand-in edge (V, deltaVW, W) together with the diamond it came from and its two special criteria.
STNU.RULGlobalInfo	Data structure for RUL algorithm.
STNU.RULLocalInfo	Data structure for RUL algorithm.
STNU.STNUCheckStatus	A simple class to represent the status of the checking algorithm during an execution.
STNU.STNUCheckStatus.SRNCEdges	Indicates which kind of edges determine a Semi-Reducible Negative Cycle (SRNC)
STNU.STNUCheckStatus.SRNCInfo	Represents some statistics about a Semi-Reducible Negative Cycle (SRNC)
STNU.STNUCheckStatus.SRNCKind	Kinds of negative cycles
STNU.STNUPath	Represents a path of the STNU edge
STNU.STNUPhaseStatistics	Collects per-phase execution statistics (time and edge counts by category) for STNU.applyMDE() and STNU.applyFD_STNUPlusMinimization().
STNU.STNUPhaseStatistics.PhaseStat	One row of statistics for a single phase.
STNURTE	A Real-Time Execution (RTE) algorithm is a scheduling algorithm that preserves maximum flexibility while requiring minimal computation.
STNURTE.ContingentLink	Represents a contingent link
STNURTE.NodeAndExecutionTimeChoice	Strategy for choosing a node and an instant among a set of possible ones.
STNURTE.NodeEnabledInTimeInterval	Node enabled in the given time window.
STNURTE.NodeOccurrence	Node occurrence (t, nodes).
STNURTE.NodeWithTimeInterval	Node with its time window.
STNURTE.RTED	RTE Decision.
STNURTE.RTEState	Class to represent the data for an execution of STNURTE.rte(Strategy, Strategy).
STNURTE.Strategy	This interface allows the use of an enum of predefined strategies and the possibility of defining new ones. An enum of predefined strategies allows the specification of a strategy as an input parameter.
STNURTE.StrategyEnum	Allows the specification of a predefined strategy as an input parameter.
WellDefinitionException	Some common types of unsatisfied property for well-defined CSTN.
WellDefinitionException.Type	Kinds of possible errors in checking well-definition property.