Class CSTN2CSTN0
- Version:
- $Rev: 993 $
- 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
FieldsFields 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
ConstructorsConstructorDescriptionCSTN2CSTN0
(int givenReactionTime, TNGraph<CSTNEdge> graph) CSTN2CSTN0
(int givenReactionTime, TNGraph<CSTNEdge> graph, int givenTimeOut) -
Method Summary
Modifier and TypeMethodDescriptionChecks the dynamic consistency (DC) of a CSTN instance within timeout seconds.static void
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
-
Field Details
-
VERSIONandDATE
Version of the class- See Also:
-
-
Constructor Details
-
Method Details
-
main
public static void main(String[] args) throws IOException, ParserConfigurationException, SAXException - Parameters:
args
- an array ofString
objects.- Throws:
IOException
- if any.ParserConfigurationException
- if any.SAXException
- if any.
-
dynamicConsistencyCheck
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 at least one negative loop.
After a check,
AbstractCSTN.getGChecked()
returns the network determined by the check andAbstractCSTN.getCheckStatus()
the result of the checking action with some statistics, and the node having a 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 transforms 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 classCSTN
- Returns:
- the final status of the checking with some statistics.
- Throws:
WellDefinitionException
- if any.
-
transform
Returns the corresponding CSTN having each observation node 'P?' replaced with a pair of nodes 'P?' and 'P?0'. 'P?' is the 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. To minimize name conflicts, the new name associated with 'P?' is 'P?^0'.
-