Actions
Task #6087
closedSuggestion for the Solver interface
Start date:
06/22/2015
Due date:
% Done:
0%
Estimated time:
Detected in build:
svn
Published in build:
2.2.7
Description
I suggest wrapping a solution with SolverResult
(solver status, error messages, etc.)
public interface Solver<T> {
Class<T> getSolutionClass();
SolverResult<T> solve(Sequence<Call> abstractSequence);
}
Updated by Artem Kotsynyak over 9 years ago
We're duplicating result wrapper classes (smt solver, testbase, this), maybe define something like Result<EStatus, T> in Fortress?
Updated by Alexander Kamkin over 9 years ago
- Status changed from New to Resolved
Updated by Alexander Kamkin over 9 years ago
- Status changed from Resolved to Closed
- Published in build set to 2.2.7
Actions