module Modelling.ActivityDiagram.MatchAd.Config where
import Modelling.ActivityDiagram.Config (AdConfig(..))
import Modelling.ActivityDiagram.MatchAd (MatchAdConfig(..))
task2023_31 :: MatchAdConfig
task2023_31 :: MatchAdConfig
task2023_31 = MatchAdConfig {
adConfig :: AdConfig
adConfig = AdConfig {
actionLimits :: (Int, Int)
actionLimits = (Int
5, Int
6),
objectNodeLimits :: (Int, Int)
objectNodeLimits = (Int
5, Int
6),
maxNamedNodes :: Int
maxNamedNodes = Int
11,
decisionMergePairs :: Int
decisionMergePairs = Int
2,
forkJoinPairs :: Int
forkJoinPairs = Int
1,
activityFinalNodes :: Int
activityFinalNodes = Int
1,
flowFinalNodes :: Int
flowFinalNodes = Int
1,
cycles :: Int
cycles = Int
1
},
maxInstances :: Maybe Integer
maxInstances = Integer -> Maybe Integer
forall a. a -> Maybe a
Just Integer
500,
hideBranchConditions :: Bool
hideBranchConditions = Bool
False,
withActivityFinalInForkBlocks :: Maybe Bool
withActivityFinalInForkBlocks = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
True,
printSolution :: Bool
printSolution = Bool
True,
extraText :: Maybe (Map Language String)
extraText = Maybe (Map Language String)
forall a. Maybe a
Nothing
}
task2023_32 :: MatchAdConfig
task2023_32 :: MatchAdConfig
task2023_32 = MatchAdConfig {
adConfig :: AdConfig
adConfig = AdConfig {
actionLimits :: (Int, Int)
actionLimits = (Int
5, Int
6),
objectNodeLimits :: (Int, Int)
objectNodeLimits = (Int
5, Int
6),
maxNamedNodes :: Int
maxNamedNodes = Int
11,
decisionMergePairs :: Int
decisionMergePairs = Int
1,
forkJoinPairs :: Int
forkJoinPairs = Int
2,
activityFinalNodes :: Int
activityFinalNodes = Int
1,
flowFinalNodes :: Int
flowFinalNodes = Int
2,
cycles :: Int
cycles = Int
1
},
maxInstances :: Maybe Integer
maxInstances = Integer -> Maybe Integer
forall a. a -> Maybe a
Just Integer
500,
hideBranchConditions :: Bool
hideBranchConditions = Bool
True,
withActivityFinalInForkBlocks :: Maybe Bool
withActivityFinalInForkBlocks = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
False,
printSolution :: Bool
printSolution = Bool
True,
extraText :: Maybe (Map Language String)
extraText = Maybe (Map Language String)
forall a. Maybe a
Nothing
}
task2024_37 :: MatchAdConfig
task2024_37 :: MatchAdConfig
task2024_37 = MatchAdConfig
task2023_31
task2024_38 :: MatchAdConfig
task2024_38 :: MatchAdConfig
task2024_38 = MatchAdConfig
task2023_32
task2024_67 :: MatchAdConfig
task2024_67 :: MatchAdConfig
task2024_67 = MatchAdConfig
task2023_31