Class CSTNU2CSTN

java.lang.Object
it.univr.di.cstnu.algorithms.AbstractCSTN<CSTNUEdge>
it.univr.di.cstnu.algorithms.CSTNU
it.univr.di.cstnu.algorithms.CSTNU2CSTN
public class CSTNU2CSTN extends CSTNU
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.

In other words, the CSTNU instance is transformed into a CSTN one and checked invoking CSTN.dynamicConsistencyCheck().

Version:
$Rev: 1154 $
Author:
Roberto Posenato

  • Field Details

  • Constructor Details

    • CSTNU2CSTN

      public CSTNU2CSTN(TemporalConstraintGraph<CSTNUEdge> graph)
      Parameters:
      graph - graph to check, without copying or converting it

    • CSTNU2CSTN

      public CSTNU2CSTN(TemporalConstraintGraph<CSTNUEdge> graph, int givenTimeOut)
      Constructor for CSTNU, without copying or converting the given graph.
      Parameters:
      graph - graph to check
      givenTimeOut - timeout for the check

    • CSTNU2CSTN

      public CSTNU2CSTN()
      Creates a CSTNU2CSTN with an empty graph using the sparse backend by default.

    • CSTNU2CSTN

      public CSTNU2CSTN(boolean useDenseGraph)
      Creates a CSTNU2CSTN with an empty, newly created graph.
      Parameters:
      useDenseGraph - true to use the dense backend (DenseTCGraph); false to use the sparse backend (SparseTCGraph).

  • Method Details

    • main

      public static void main(String[] args)
      Parameters:
      args - an array of String objects.

    • dynamicControllabilityCheck

      public final CSTNU.CSTNUCheckStatus dynamicControllabilityCheck() throws WellDefinitionException
      Checks the dynamic controllability (DC) of the given network (see CSTNU(TemporalConstraintGraph) or AbstractCSTN.setG(TemporalConstraintGraph)).

      If the network is DC, it determines all the minimal ranges for the constraints.

      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.getCheckedGraph() returns the graph resulting from the check, and CSTNU.getCheckStatus() returns the result of the checking action with some statistics and the node with the negative loop if the network is NOT DC.

      In any case, before returning, this method calls 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:
      dynamicControllabilityCheck in class CSTNU
      Returns:
      an CSTNU.CSTNUCheckStatus object containing the final status and some statistics about the executed checking.
      Throws:
      WellDefinitionException - if any.

    • transform

      final TemporalConstraintGraph<CSTNEdge> transform()
      Returns the corresponding CSTN of the given CSTNU g. The transformation consists of replacing each contingent link with a pattern that uses a proper new observation timepoint (associated with the contingent link). 
      A ---(c:x, alpha) ---> C is transformed to A ---(x,alpha) ---> K? ---(0, alpha k) (y-x,alpha) ---> C
  <--- (C:-y, alpha)--                       <---(-x,alpha)--    <---(0,alpha) (x-y,alpha¬k)--
      Returns:
      g represented as a CSTN, using the same concrete backend as g