Package edu.fiu.jtlex.data
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.StoregetStore()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
-