Project

General

Profile

Support #3697

Move utility classes from exploration.smt.modeltransformation to exploration.smt.util

Added by Tiziano Munaro over 1 year ago. Updated 9 months ago.

Status:
New
Priority:
Normal
Category:
-
Target version:
Start date:
03/27/2019
Due date:
% Done:

0%

Estimated time:

Description

Move the

ConstraintDefinitionUtils
,
TimingConstraintDefinition
and
SMTTransformationUtils
utility classes to the
util
package.

History

#1 Updated by Johannes Eder over 1 year ago

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

#2 Updated by Johannes Eder over 1 year ago

  • Parent task deleted (#3680)

#3 Updated by Alexander Diewald about 1 year ago

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

#4 Updated by Alexander Diewald 9 months ago

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

Also available in: Atom PDF