Package edu.fiu.jtlex.algorithms
Interface IGraphTCSPSolver
- All Known Implementing Classes:
GraphTCSPSolver
public interface IGraphTCSPSolver
Abstraction for a TCSP solver
- Since:
- jTLEX 1.0
-
Method Summary
Modifier and TypeMethodDescriptionconvertSolutionToString
(List<org.jacop.core.IntVar> solution) Converts a solution into its string representationList<org.jacop.core.IntVar>
solve
(ITimeMLGraphTCSP problem) Solves the given TCSP using minimum selection.List<org.jacop.core.IntVar>
solveRandom
(ITimeMLGraphTCSP problem) Solves the given TCSP using random selection.
-
Method Details
-
solve
Solves the given TCSP using minimum selection.- Parameters:
problem
- The problem to solve- Returns:
- The solution to the problem
- Throws:
NullPointerException
- If the problem is null- Since:
- jTLEX 1.0
-
solveRandom
Solves the given TCSP using random selection.- Parameters:
problem
- The problem to solve- Returns:
- The solution to the problem
- Throws:
NullPointerException
- If the problem is null- Since:
- jTLEX 1.0
-
convertSolutionToString
Converts a solution into its string representation- Parameters:
solution
- The solution to convert- Returns:
- A string representation of the solution
- Throws:
NullPointerException
- If the solution is null- Since:
- jTLEX 1.0
-