Class CSTN2CSTN0

java.lang.Object

it.univr.di.cstnu.algorithms.AbstractCSTN<CSTNEdge>

it.univr.di.cstnu.algorithms.CSTN

it.univr.di.cstnu.algorithms.CSTNEpsilon

it.univr.di.cstnu.algorithms.CSTNEpsilonwoNodeLabels

it.univr.di.cstnu.algorithms.CSTN2CSTN0

public class CSTN2CSTN0
extends CSTNEpsilonwoNodeLabels

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.

Version:

$Rev: 840 $

Author:

Roberto Posenato

Nested Class Summary

Nested classes/interfaces inherited from class it.univr.di.cstnu.algorithms.AbstractCSTN

AbstractCSTN.CheckAlgorithm, AbstractCSTN.CSTNCheckStatus, AbstractCSTN.DCSemantics, AbstractCSTN.EdgesToCheck<E extends Edge>, AbstractCSTN.NodesToCheck

Field Summary

Fields

Modifier and Type	Field	Description
static final String	VERSIONandDATE	Version of the class

Fields inherited from class it.univr.di.cstnu.algorithms.CSTNEpsilon

epsilon

Fields inherited from class it.univr.di.cstnu.algorithms.AbstractCSTN

checkStatus, cleanCheckedInstance, FILE_NAME_SUFFIX, fInput, fOutput, g, gCheckedCleaned, horizon, maxWeight, propagationOnlyToZ, reactionTime, timeOut, versionReq, withNodeLabels, ZERO_NODE_NAME

Constructor Summary

Constructors

Constructor	Description
CSTN2CSTN0(int givenReactionTime, TNGraph<CSTNEdge> graph)
CSTN2CSTN0(int givenReactionTime, TNGraph<CSTNEdge> graph, int givenTimeOut)

Method Summary

Modifier and Type	Method	Description
AbstractCSTN.CSTNCheckStatus	dynamicConsistencyCheck()	Checks the dynamic consistency (DC) of a CSTN instance within timeout seconds.
static void	main(String[] args)
(package private) TNGraph<CSTNEdge>	transform()	Returns the corresponding CSTN having each observation node P?

Methods inherited from class it.univr.di.cstnu.algorithms.CSTNEpsilon

getEpsilonReactionTime, lpMustRestricted2ConsistentLabel, mainConditionForSkippingInR0qR0, mainConditionForSkippingInR3qR3, newValueInR3qR3

Methods inherited from class it.univr.di.cstnu.algorithms.CSTN

applyR0R3, defaultMain, dynamicConsistencyCheckWOInit, labelModificationR3qR3, labelPropagation, oneStepDynamicConsistencyByEdges, oneStepDynamicConsistencyByEdgesLimitedToZ, oneStepDynamicConsistencyByNode

Methods inherited from class it.univr.di.cstnu.algorithms.AbstractCSTN

addUpperBounds, checkWellDefinitionProperties, checkWellDefinitionProperty1and3, checkWellDefinitionProperty2, coreCSTNInitAndCheck, getCheckStatus, getEdgeFromObserversToNode, getfOutput, getG, getGChecked, getGCheckedAsGraphML, getMaxWeight, getMinimalDistanceGraph, getReactionTime, getVersionAndCopyright, initAndCheck, isOutputCleaned, isWithNodeLabels, labelModificationR0qR0, labelModificationR0qR0Core, makeAlphaBetaGammaPrime4R3, makeAlphaPrime, makeBetaGammaDagger4qR3, makeNewEdge, manageParameters, pairAsString, removeChildrenOfUnknown, reset, saveGraphToFile, setfOutput, setG, setOutputCleaned, setPropagationOnlyToZ, setWithNodeLabels

Methods inherited from class java.lang.Object

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

Field Details

VERSIONandDATE

public static final String VERSIONandDATE

Version of the class

See Also:

• Constant Field Values

Constructor Details

CSTN2CSTN0

public CSTN2CSTN0(int givenReactionTime,
 TNGraph<CSTNEdge> graph)

Parameters:

givenReactionTime - the reaction time of the network

graph - a TNGraph object.

CSTN2CSTN0

public CSTN2CSTN0(int givenReactionTime,
 TNGraph<CSTNEdge> graph,
 int givenTimeOut)

Parameters:

givenReactionTime - the reaction time of the network.

graph - a TNGraph object.

givenTimeOut - the timeout for the check in seconds.

Method Details

main

public static void main(String[] args)
                 throws IOException,
ParserConfigurationException,
SAXException

Parameters:

args - an array of String objects.

Throws:

IOException - if any.

ParserConfigurationException - if any.

SAXException - if any.

dynamicConsistencyCheck

public AbstractCSTN.CSTNCheckStatus dynamicConsistencyCheck()
                                                     throws WellDefinitionException

Checks the dynamic consistency (DC) of a CSTN instance within timeout seconds. During the execution of this method, the given network is modified.
If the check is successful, all constraints to node Z in the network are minimized; otherwise, the network contains a negative loop at least.
After a check, AbstractCSTN.getGChecked() returns the network determined by the check and AbstractCSTN.getCheckStatus() the result of the checking action with some statistics and the node having the negative loop if the network is NOT DC.
In any case, before returning, this method call AbstractCSTN.saveGraphToFile() for saving the computed graph.

Checks the controllability of a CSTNU instance. This method transform the given CSTNU instance into a corresponding CSTN instance such that the original instance is dynamic controllable iff the corresponding CSTN is dynamic consistent.

Overrides:

dynamicConsistencyCheck in class CSTN

Returns:

the final status of the checking with some statistics.

Throws:

WellDefinitionException - if any.

transform

TNGraph<CSTNEdge> transform()

Returns the corresponding CSTN having each observation node P? is replaced with a pair of nodes P? and P?0. P? is standard node while P?0 is a new observation node that observes 'p'.
P?0 is set to be at distance epsilon after P?, exactly.

Returns:

g represented as a CSTN0. In order to minimize name conflicts, the new name associated to P? is P?^0.