-- |

module Modelling.ActivityDiagram.SelectPetri.Config where

import Modelling.ActivityDiagram.Common (finalNodesAdvice)
import Modelling.ActivityDiagram.Config (AdConfig(..))
import Modelling.ActivityDiagram.SelectPetri (SelectPetriConfig(..))

import Data.GraphViz.Commands           (GraphvizCommand(..))

{-|
points: 0.15
average generation time per instance: 2:30min
CPU usage: 100%
-}
task2023_37 :: SelectPetriConfig
task2023_37 :: SelectPetriConfig
task2023_37 = SelectPetriConfig {
  adConfig :: AdConfig
adConfig = AdConfig {
    actionLimits :: (Int, Int)
actionLimits = (Int
7, Int
7),
    objectNodeLimits :: (Int, Int)
objectNodeLimits = (Int
3, Int
3),
    maxNamedNodes :: Int
maxNamedNodes = Int
10,
    decisionMergePairs :: Int
decisionMergePairs = Int
3,
    forkJoinPairs :: Int
forkJoinPairs = Int
1,
    activityFinalNodes :: Int
activityFinalNodes = Int
0,
    flowFinalNodes :: Int
flowFinalNodes = Int
2,
    cycles :: Int
cycles = Int
1
    },
  countOfPetriNodesBounds :: (Int, Maybe Int)
countOfPetriNodesBounds = (Int
0, Maybe Int
forall a. Maybe a
Nothing),
  maxInstances :: Maybe Integer
maxInstances = Integer -> Maybe Integer
forall a. a -> Maybe a
Just Integer
2000,
  hideNodeNames :: Bool
hideNodeNames = Bool
False,
  hideBranchConditions :: Bool
hideBranchConditions = Bool
True,
  hidePetriNodeLabels :: Bool
hidePetriNodeLabels = Bool
False,
  petriLayout :: [GraphvizCommand]
petriLayout = [GraphvizCommand
Fdp],
  petriSvgHighlighting :: Bool
petriSvgHighlighting = Bool
True,
  numberOfWrongAnswers :: Int
numberOfWrongAnswers = Int
5,
  numberOfModifications :: Int
numberOfModifications = Int
3,
  modifyAtMid :: Bool
modifyAtMid = Bool
True,
  auxiliaryPetriNodeAbsent :: Maybe Bool
auxiliaryPetriNodeAbsent = Maybe Bool
forall a. Maybe a
Nothing,
  presenceOfSinkTransitionsForFinals :: Maybe Bool
presenceOfSinkTransitionsForFinals = Maybe Bool
forall a. Maybe a
Nothing,
  withActivityFinalInForkBlocks :: Maybe Bool
withActivityFinalInForkBlocks = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
False,
  printSolution :: Bool
printSolution = Bool
True,
  extraText :: ExtraText
extraText = ExtraText
finalNodesAdvice
  }

{-|
points: 0.15
-}
task2023_38 :: SelectPetriConfig
task2023_38 :: SelectPetriConfig
task2023_38 = SelectPetriConfig {
  adConfig :: AdConfig
adConfig = AdConfig {
    actionLimits :: (Int, Int)
actionLimits = (Int
4, Int
4),
    objectNodeLimits :: (Int, Int)
objectNodeLimits = (Int
3, Int
3),
    maxNamedNodes :: Int
maxNamedNodes = Int
7,
    decisionMergePairs :: Int
decisionMergePairs = Int
2,
    forkJoinPairs :: Int
forkJoinPairs = Int
1,
    activityFinalNodes :: Int
activityFinalNodes = Int
0,
    flowFinalNodes :: Int
flowFinalNodes = Int
2,
    cycles :: Int
cycles = Int
1
    },
  countOfPetriNodesBounds :: (Int, Maybe Int)
countOfPetriNodesBounds = (Int
0, Maybe Int
forall a. Maybe a
Nothing),
  maxInstances :: Maybe Integer
maxInstances = Integer -> Maybe Integer
forall a. a -> Maybe a
Just Integer
1,
  hideNodeNames :: Bool
hideNodeNames = Bool
True,
  hideBranchConditions :: Bool
hideBranchConditions = Bool
True,
  hidePetriNodeLabels :: Bool
hidePetriNodeLabels = Bool
True,
  petriLayout :: [GraphvizCommand]
petriLayout = [GraphvizCommand
Dot],
  petriSvgHighlighting :: Bool
petriSvgHighlighting = Bool
True,
  numberOfWrongAnswers :: Int
numberOfWrongAnswers = Int
5,
  numberOfModifications :: Int
numberOfModifications = Int
3,
  modifyAtMid :: Bool
modifyAtMid = Bool
True,
  auxiliaryPetriNodeAbsent :: Maybe Bool
auxiliaryPetriNodeAbsent = Maybe Bool
forall a. Maybe a
Nothing,
  presenceOfSinkTransitionsForFinals :: Maybe Bool
presenceOfSinkTransitionsForFinals = Maybe Bool
forall a. Maybe a
Nothing,
  withActivityFinalInForkBlocks :: Maybe Bool
withActivityFinalInForkBlocks = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
False,
  printSolution :: Bool
printSolution = Bool
True,
  extraText :: ExtraText
extraText = ExtraText
finalNodesAdvice
  }

{-|
points: 0.15
average generation time per instance: 3:27min
CPU usage: 110%
-}
task2024_43 :: SelectPetriConfig
task2024_43 :: SelectPetriConfig
task2024_43 = SelectPetriConfig
task2023_37

{-|
points: 0.15
average generation time per instance: 1:50min
CPU usage: 114%
-}
task2024_44 :: SelectPetriConfig
task2024_44 :: SelectPetriConfig
task2024_44 = SelectPetriConfig {
  adConfig :: AdConfig
adConfig = AdConfig {
    actionLimits :: (Int, Int)
actionLimits = (Int
4, Int
4),
    objectNodeLimits :: (Int, Int)
objectNodeLimits = (Int
3, Int
3),
    maxNamedNodes :: Int
maxNamedNodes = Int
7,
    decisionMergePairs :: Int
decisionMergePairs = Int
2,
    forkJoinPairs :: Int
forkJoinPairs = Int
1,
    activityFinalNodes :: Int
activityFinalNodes = Int
0,
    flowFinalNodes :: Int
flowFinalNodes = Int
2,
    cycles :: Int
cycles = Int
1
    },
  countOfPetriNodesBounds :: (Int, Maybe Int)
countOfPetriNodesBounds = (Int
0, Maybe Int
forall a. Maybe a
Nothing),
  maxInstances :: Maybe Integer
maxInstances = Integer -> Maybe Integer
forall a. a -> Maybe a
Just Integer
2000,
  hideNodeNames :: Bool
hideNodeNames = Bool
True,
  hideBranchConditions :: Bool
hideBranchConditions = Bool
True,
  hidePetriNodeLabels :: Bool
hidePetriNodeLabels = Bool
True,
  petriLayout :: [GraphvizCommand]
petriLayout = [GraphvizCommand
Dot],
  petriSvgHighlighting :: Bool
petriSvgHighlighting = Bool
True,
  numberOfWrongAnswers :: Int
numberOfWrongAnswers = Int
5,
  numberOfModifications :: Int
numberOfModifications = Int
3,
  modifyAtMid :: Bool
modifyAtMid = Bool
True,
  auxiliaryPetriNodeAbsent :: Maybe Bool
auxiliaryPetriNodeAbsent = Maybe Bool
forall a. Maybe a
Nothing,
  presenceOfSinkTransitionsForFinals :: Maybe Bool
presenceOfSinkTransitionsForFinals = Maybe Bool
forall a. Maybe a
Nothing,
  withActivityFinalInForkBlocks :: Maybe Bool
withActivityFinalInForkBlocks = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
False,
  printSolution :: Bool
printSolution = Bool
True,
  extraText :: ExtraText
extraText = ExtraText
finalNodesAdvice
  }