Project

General

Profile

Change Request #3737

Generate problem-specific constraint sets in the derived SolverRun constructors

Added by Alexander Diewald over 1 year ago. Updated 15 days ago.

Status:
Resolved
Priority:
Normal
Assignee:
-
Category:
-
Target version:
Start date:
05/29/2019
Due date:
% Done:

100%

Estimated time:
1.00 h

Description

Current status

The distinction which basic constraints are added to the ExplorationSpecification is decided within the SMT backend by an if-else clause.

Proposed improvement

Create those constraints in the constructor of the specific SolverRun implementation. The distinction which SolverRun to use can remain in the backend or a Factory could be used.

History

#1 Updated by Alexander Diewald 12 months ago

  • Target version changed from AF3 2.16 RC1 (Feature Freeze) to AF3 2.17 (Feature Freeze)

#2 Updated by Alexander Diewald 8 months ago

  • Target version changed from AF3 2.17 (Feature Freeze) to Backlog

#3 Updated by Alexander Diewald 15 days ago

  • Status changed from New to Resolved
  • Assignee deleted (Alexander Diewald)
  • % Done changed from 0 to 100

Resolved in #3541.

Also available in: Atom PDF