Interface IGraphTCSP

All Known Implementing Classes:
GraphTCSP

public interface IGraphTCSP
Converts a TimeML Graph into a Temporal Constraint Satisfaction Problem (TCSP) as follows: Each node in the TimeML graph represents an event or time. These are converted to time points in the TCSP. For each node N we get two time points N- for the beginning time and N+ for the end time. Each timeML link is converted to a constrain in the TCSP following a mapping between TimeML links types and primitive constrains.
Author:
arada002
  • Method Summary

    Modifier and Type Method Description
    org.jacop.core.Store getStore()
    This method is meant to allow for getting the values held in the store.
    java.util.List<org.jacop.core.IntVar> solve()
    Makes use of JaCoP to solve the TCSP problem.
    java.util.List<org.jacop.core.IntVar> solveRandom()
    Assigns integer values to the JaCoP problems shortest solutions.
    java.util.List<java.util.List<org.jacop.core.IntVar>> solveRandom​(int n)
    Assigns integer values to the JaCoP problems shortest solutions.
    java.util.List<java.lang.String> stringTimeLine()
    Returns a full string representation of the timeline.
  • Method Details

    • solveRandom

      java.util.List<java.util.List<org.jacop.core.IntVar>> solveRandom​(int n)
      Assigns integer values to the JaCoP problems shortest solutions.
      Parameters:
      n - #TODO
      Returns:
      #TODO
    • solveRandom

      java.util.List<org.jacop.core.IntVar> solveRandom()
      Assigns integer values to the JaCoP problems shortest solutions.
      Returns:
      A list of strings corresponding to the time points and the numerical value assigned to it for ordering or null if there is no solution.
    • solve

      java.util.List<org.jacop.core.IntVar> solve()
      Makes use of JaCoP to solve the TCSP problem.
      Returns:
      JaCoP compatible units of the form {ID:Int}
      See Also:
      org.JaCoP.search, JaCoP <IntVar>
    • stringTimeLine

      java.util.List<java.lang.String> stringTimeLine()
      Returns a full string representation of the timeline. This string will only apply to the current partition.
      Returns:
      a full string representation of the timeline.
    • getStore

      org.jacop.core.Store getStore()
      This method is meant to allow for getting the values held in the store.
      Returns:
      jacop objects used to store IntVars
      See Also:
      JaCoP <T extends Var> , org.JaCoP.search