-- |

module Modelling.CdOd.DifferentNames.Config where

import Modelling.CdOd.DifferentNames (
  DifferentNamesConfig (..),
  )
import Modelling.CdOd.Types (
  ClassConfig (..),
  ObjectConfig (..),
  ObjectProperties (..),
  OmittedDefaultMultiplicities (..),
  )

import Data.Ratio                       ((%))

{-|
points: 0.15
average generation time per instance: 0:27min
CPU usage: 350%
-}
task2023_12 :: DifferentNamesConfig
task2023_12 :: DifferentNamesConfig
task2023_12 = DifferentNamesConfig {
  classConfig :: ClassConfig
classConfig = ClassConfig {
    classLimits :: (Int, Int)
classLimits = (Int
5, Int
5),
    aggregationLimits :: (Int, Maybe Int)
aggregationLimits = (Int
2, Int -> Maybe Int
forall a. a -> Maybe a
Just Int
2),
    associationLimits :: (Int, Maybe Int)
associationLimits = (Int
1, Int -> Maybe Int
forall a. a -> Maybe a
Just Int
1),
    compositionLimits :: (Int, Maybe Int)
compositionLimits = (Int
2, Int -> Maybe Int
forall a. a -> Maybe a
Just Int
2),
    inheritanceLimits :: (Int, Maybe Int)
inheritanceLimits = (Int
1, Int -> Maybe Int
forall a. a -> Maybe a
Just Int
1),
    relationshipLimits :: (Int, Maybe Int)
relationshipLimits = (Int
6, Int -> Maybe Int
forall a. a -> Maybe a
Just Int
6)
    },
  withNonTrivialInheritance :: Maybe Bool
withNonTrivialInheritance = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
True,
  maxInstances :: Maybe Integer
maxInstances = Integer -> Maybe Integer
forall a. a -> Maybe a
Just Integer
4000,
  objectConfig :: ObjectConfig
objectConfig = ObjectConfig {
    linkLimits :: (Int, Maybe Int)
linkLimits = (Int
10, Int -> Maybe Int
forall a. a -> Maybe a
Just Int
10),
    linksPerObjectLimits :: (Int, Maybe Int)
linksPerObjectLimits = (Int
1, Int -> Maybe Int
forall a. a -> Maybe a
Just Int
4),
    objectLimits :: (Int, Int)
objectLimits = (Int
8, Int
8)
    },
  objectProperties :: ObjectProperties
objectProperties = ObjectProperties {
    anonymousObjectProportion :: Rational
anonymousObjectProportion = Integer
1 Integer -> Integer -> Rational
forall a. Integral a => a -> a -> Ratio a
% Integer
1,
    completelyInhabited :: Maybe Bool
completelyInhabited = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
True,
    hasLimitedIsolatedObjects :: Bool
hasLimitedIsolatedObjects = Bool
True,
    hasSelfLoops :: Maybe Bool
hasSelfLoops = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
False,
    usesEveryRelationshipName :: Maybe Bool
usesEveryRelationshipName = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
False
    },
  omittedDefaultMultiplicities :: OmittedDefaultMultiplicities
omittedDefaultMultiplicities = OmittedDefaultMultiplicities {
    aggregationWholeOmittedDefaultMultiplicity :: Maybe (Int, Maybe Int)
aggregationWholeOmittedDefaultMultiplicity = (Int, Maybe Int) -> Maybe (Int, Maybe Int)
forall a. a -> Maybe a
Just (Int
0, Maybe Int
forall a. Maybe a
Nothing),
    associationOmittedDefaultMultiplicity :: Maybe (Int, Maybe Int)
associationOmittedDefaultMultiplicity = (Int, Maybe Int) -> Maybe (Int, Maybe Int)
forall a. a -> Maybe a
Just (Int
0, Maybe Int
forall a. Maybe a
Nothing),
    compositionWholeOmittedDefaultMultiplicity :: Maybe (Int, Maybe Int)
compositionWholeOmittedDefaultMultiplicity = (Int, Maybe Int) -> Maybe (Int, Maybe Int)
forall a. a -> Maybe a
Just (Int
1, Int -> Maybe Int
forall a. a -> Maybe a
Just Int
1)
    },
  printSolution :: Bool
printSolution = Bool
True,
  timeout :: Maybe Int
timeout = Maybe Int
forall a. Maybe a
Nothing,
  withObviousMapping :: Maybe Bool
withObviousMapping = Maybe Bool
forall a. Maybe a
Nothing,
  extraText :: Maybe (Map Language String)
extraText = Maybe (Map Language String)
forall a. Maybe a
Nothing
  }

{-|
points: 0.15
average generation time per instance: 1:40min
CPU usage: 350%
-}
task2023_13 :: DifferentNamesConfig
task2023_13 :: DifferentNamesConfig
task2023_13 = DifferentNamesConfig {
  classConfig :: ClassConfig
classConfig = ClassConfig {
    classLimits :: (Int, Int)
classLimits = (Int
5, Int
5),
    aggregationLimits :: (Int, Maybe Int)
aggregationLimits = (Int
1, Int -> Maybe Int
forall a. a -> Maybe a
Just Int
1),
    associationLimits :: (Int, Maybe Int)
associationLimits = (Int
2, Int -> Maybe Int
forall a. a -> Maybe a
Just Int
2),
    compositionLimits :: (Int, Maybe Int)
compositionLimits = (Int
2, Int -> Maybe Int
forall a. a -> Maybe a
Just Int
2),
    inheritanceLimits :: (Int, Maybe Int)
inheritanceLimits = (Int
2, Int -> Maybe Int
forall a. a -> Maybe a
Just Int
2),
    relationshipLimits :: (Int, Maybe Int)
relationshipLimits = (Int
7, Int -> Maybe Int
forall a. a -> Maybe a
Just Int
7)
    },
  withNonTrivialInheritance :: Maybe Bool
withNonTrivialInheritance = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
True,
  maxInstances :: Maybe Integer
maxInstances = Integer -> Maybe Integer
forall a. a -> Maybe a
Just Integer
10000,
  objectConfig :: ObjectConfig
objectConfig = ObjectConfig {
    linkLimits :: (Int, Maybe Int)
linkLimits = (Int
11, Int -> Maybe Int
forall a. a -> Maybe a
Just Int
11),
    linksPerObjectLimits :: (Int, Maybe Int)
linksPerObjectLimits = (Int
1, Int -> Maybe Int
forall a. a -> Maybe a
Just Int
6),
    objectLimits :: (Int, Int)
objectLimits = (Int
6, Int
6)
    },
  objectProperties :: ObjectProperties
objectProperties = ObjectProperties {
    anonymousObjectProportion :: Rational
anonymousObjectProportion = Integer
0 Integer -> Integer -> Rational
forall a. Integral a => a -> a -> Ratio a
% Integer
1,
    completelyInhabited :: Maybe Bool
completelyInhabited = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
True,
    hasLimitedIsolatedObjects :: Bool
hasLimitedIsolatedObjects = Bool
True,
    hasSelfLoops :: Maybe Bool
hasSelfLoops = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
False,
    usesEveryRelationshipName :: Maybe Bool
usesEveryRelationshipName = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
True
    },
  omittedDefaultMultiplicities :: OmittedDefaultMultiplicities
omittedDefaultMultiplicities = OmittedDefaultMultiplicities {
    aggregationWholeOmittedDefaultMultiplicity :: Maybe (Int, Maybe Int)
aggregationWholeOmittedDefaultMultiplicity = (Int, Maybe Int) -> Maybe (Int, Maybe Int)
forall a. a -> Maybe a
Just (Int
0, Maybe Int
forall a. Maybe a
Nothing),
    associationOmittedDefaultMultiplicity :: Maybe (Int, Maybe Int)
associationOmittedDefaultMultiplicity = (Int, Maybe Int) -> Maybe (Int, Maybe Int)
forall a. a -> Maybe a
Just (Int
0, Maybe Int
forall a. Maybe a
Nothing),
    compositionWholeOmittedDefaultMultiplicity :: Maybe (Int, Maybe Int)
compositionWholeOmittedDefaultMultiplicity = (Int, Maybe Int) -> Maybe (Int, Maybe Int)
forall a. a -> Maybe a
Just (Int
1, Int -> Maybe Int
forall a. a -> Maybe a
Just Int
1)
    },
  printSolution :: Bool
printSolution = Bool
True,
  timeout :: Maybe Int
timeout = Maybe Int
forall a. Maybe a
Nothing,
  withObviousMapping :: Maybe Bool
withObviousMapping = Maybe Bool
forall a. Maybe a
Nothing,
  extraText :: Maybe (Map Language String)
extraText = Maybe (Map Language String)
forall a. Maybe a
Nothing
  }

{-|
points: 0.25
average generation time per instance: 3:00min
CPU usage: 150%
-}
task2023_25 :: DifferentNamesConfig
task2023_25 :: DifferentNamesConfig
task2023_25 = DifferentNamesConfig {
  classConfig :: ClassConfig
classConfig = ClassConfig {
    classLimits :: (Int, Int)
classLimits = (Int
5, Int
5),
    aggregationLimits :: (Int, Maybe Int)
aggregationLimits = (Int
2, Int -> Maybe Int
forall a. a -> Maybe a
Just Int
2),
    associationLimits :: (Int, Maybe Int)
associationLimits = (Int
2, Int -> Maybe Int
forall a. a -> Maybe a
Just Int
2),
    compositionLimits :: (Int, Maybe Int)
compositionLimits = (Int
2, Int -> Maybe Int
forall a. a -> Maybe a
Just Int
2),
    inheritanceLimits :: (Int, Maybe Int)
inheritanceLimits = (Int
3, Int -> Maybe Int
forall a. a -> Maybe a
Just Int
3),
    relationshipLimits :: (Int, Maybe Int)
relationshipLimits = (Int
9, Int -> Maybe Int
forall a. a -> Maybe a
Just Int
9)
    },
  withNonTrivialInheritance :: Maybe Bool
withNonTrivialInheritance = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
True,
  maxInstances :: Maybe Integer
maxInstances = Integer -> Maybe Integer
forall a. a -> Maybe a
Just Integer
100,
  objectConfig :: ObjectConfig
objectConfig = ObjectConfig {
    linkLimits :: (Int, Maybe Int)
linkLimits = (Int
14, Int -> Maybe Int
forall a. a -> Maybe a
Just Int
16),
    linksPerObjectLimits :: (Int, Maybe Int)
linksPerObjectLimits = (Int
2, Int -> Maybe Int
forall a. a -> Maybe a
Just Int
6),
    objectLimits :: (Int, Int)
objectLimits = (Int
8, Int
10)
    },
  objectProperties :: ObjectProperties
objectProperties = ObjectProperties {
    anonymousObjectProportion :: Rational
anonymousObjectProportion = Integer
1 Integer -> Integer -> Rational
forall a. Integral a => a -> a -> Ratio a
% Integer
1,
    completelyInhabited :: Maybe Bool
completelyInhabited = Maybe Bool
forall a. Maybe a
Nothing,
    hasLimitedIsolatedObjects :: Bool
hasLimitedIsolatedObjects = Bool
True,
    hasSelfLoops :: Maybe Bool
hasSelfLoops = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
False,
    usesEveryRelationshipName :: Maybe Bool
usesEveryRelationshipName = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
True
    },
  omittedDefaultMultiplicities :: OmittedDefaultMultiplicities
omittedDefaultMultiplicities = OmittedDefaultMultiplicities {
    aggregationWholeOmittedDefaultMultiplicity :: Maybe (Int, Maybe Int)
aggregationWholeOmittedDefaultMultiplicity = (Int, Maybe Int) -> Maybe (Int, Maybe Int)
forall a. a -> Maybe a
Just (Int
0, Maybe Int
forall a. Maybe a
Nothing),
    associationOmittedDefaultMultiplicity :: Maybe (Int, Maybe Int)
associationOmittedDefaultMultiplicity = (Int, Maybe Int) -> Maybe (Int, Maybe Int)
forall a. a -> Maybe a
Just (Int
0, Maybe Int
forall a. Maybe a
Nothing),
    compositionWholeOmittedDefaultMultiplicity :: Maybe (Int, Maybe Int)
compositionWholeOmittedDefaultMultiplicity = (Int, Maybe Int) -> Maybe (Int, Maybe Int)
forall a. a -> Maybe a
Just (Int
1, Int -> Maybe Int
forall a. a -> Maybe a
Just Int
1)
    },
  printSolution :: Bool
printSolution = Bool
True,
  timeout :: Maybe Int
timeout = Maybe Int
forall a. Maybe a
Nothing,
  withObviousMapping :: Maybe Bool
withObviousMapping = Maybe Bool
forall a. Maybe a
Nothing,
  extraText :: Maybe (Map Language String)
extraText = Maybe (Map Language String)
forall a. Maybe a
Nothing
  }

{-|
points: 0.15
average generation time per instance: 1:10min
CPU usage: 355%
-}
task2024_15 :: DifferentNamesConfig
task2024_15 :: DifferentNamesConfig
task2024_15 = DifferentNamesConfig {
  classConfig :: ClassConfig
classConfig = ClassConfig {
    classLimits :: (Int, Int)
classLimits = (Int
5, Int
5),
    aggregationLimits :: (Int, Maybe Int)
aggregationLimits = (Int
2, Int -> Maybe Int
forall a. a -> Maybe a
Just Int
2),
    associationLimits :: (Int, Maybe Int)
associationLimits = (Int
1, Int -> Maybe Int
forall a. a -> Maybe a
Just Int
1),
    compositionLimits :: (Int, Maybe Int)
compositionLimits = (Int
2, Int -> Maybe Int
forall a. a -> Maybe a
Just Int
2),
    inheritanceLimits :: (Int, Maybe Int)
inheritanceLimits = (Int
1, Int -> Maybe Int
forall a. a -> Maybe a
Just Int
1),
    relationshipLimits :: (Int, Maybe Int)
relationshipLimits = (Int
6, Int -> Maybe Int
forall a. a -> Maybe a
Just Int
6)
    },
  withNonTrivialInheritance :: Maybe Bool
withNonTrivialInheritance = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
False,
  maxInstances :: Maybe Integer
maxInstances = Integer -> Maybe Integer
forall a. a -> Maybe a
Just Integer
10000,
  objectConfig :: ObjectConfig
objectConfig = ObjectConfig {
    linkLimits :: (Int, Maybe Int)
linkLimits = (Int
9, Int -> Maybe Int
forall a. a -> Maybe a
Just Int
9),
    linksPerObjectLimits :: (Int, Maybe Int)
linksPerObjectLimits = (Int
0, Int -> Maybe Int
forall a. a -> Maybe a
Just Int
4),
    objectLimits :: (Int, Int)
objectLimits = (Int
7, Int
7)
    },
  objectProperties :: ObjectProperties
objectProperties = ObjectProperties {
    anonymousObjectProportion :: Rational
anonymousObjectProportion = Integer
1 Integer -> Integer -> Rational
forall a. Integral a => a -> a -> Ratio a
% Integer
1,
    completelyInhabited :: Maybe Bool
completelyInhabited = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
True,
    hasLimitedIsolatedObjects :: Bool
hasLimitedIsolatedObjects = Bool
True,
    hasSelfLoops :: Maybe Bool
hasSelfLoops = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
False,
    usesEveryRelationshipName :: Maybe Bool
usesEveryRelationshipName = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
False
    },
  omittedDefaultMultiplicities :: OmittedDefaultMultiplicities
omittedDefaultMultiplicities = OmittedDefaultMultiplicities {
    aggregationWholeOmittedDefaultMultiplicity :: Maybe (Int, Maybe Int)
aggregationWholeOmittedDefaultMultiplicity = (Int, Maybe Int) -> Maybe (Int, Maybe Int)
forall a. a -> Maybe a
Just (Int
0, Maybe Int
forall a. Maybe a
Nothing),
    associationOmittedDefaultMultiplicity :: Maybe (Int, Maybe Int)
associationOmittedDefaultMultiplicity = (Int, Maybe Int) -> Maybe (Int, Maybe Int)
forall a. a -> Maybe a
Just (Int
0, Maybe Int
forall a. Maybe a
Nothing),
    compositionWholeOmittedDefaultMultiplicity :: Maybe (Int, Maybe Int)
compositionWholeOmittedDefaultMultiplicity = Maybe (Int, Maybe Int)
forall a. Maybe a
Nothing
    },
  printSolution :: Bool
printSolution = Bool
True,
  timeout :: Maybe Int
timeout = Maybe Int
forall a. Maybe a
Nothing,
  withObviousMapping :: Maybe Bool
withObviousMapping = Maybe Bool
forall a. Maybe a
Nothing,
  extraText :: Maybe (Map Language String)
extraText = Maybe (Map Language String)
forall a. Maybe a
Nothing
  }

{-|
points: 0.15
average generation time per instance: 1:17min
CPU usage: 346%
-}
task2024_16 :: DifferentNamesConfig
task2024_16 :: DifferentNamesConfig
task2024_16 = DifferentNamesConfig {
  classConfig :: ClassConfig
classConfig = ClassConfig {
    classLimits :: (Int, Int)
classLimits = (Int
5, Int
5),
    aggregationLimits :: (Int, Maybe Int)
aggregationLimits = (Int
1, Int -> Maybe Int
forall a. a -> Maybe a
Just Int
1),
    associationLimits :: (Int, Maybe Int)
associationLimits = (Int
2, Int -> Maybe Int
forall a. a -> Maybe a
Just Int
2),
    compositionLimits :: (Int, Maybe Int)
compositionLimits = (Int
2, Int -> Maybe Int
forall a. a -> Maybe a
Just Int
2),
    inheritanceLimits :: (Int, Maybe Int)
inheritanceLimits = (Int
2, Int -> Maybe Int
forall a. a -> Maybe a
Just Int
2),
    relationshipLimits :: (Int, Maybe Int)
relationshipLimits = (Int
7, Int -> Maybe Int
forall a. a -> Maybe a
Just Int
7)
    },
  withNonTrivialInheritance :: Maybe Bool
withNonTrivialInheritance = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
True,
  maxInstances :: Maybe Integer
maxInstances = Integer -> Maybe Integer
forall a. a -> Maybe a
Just Integer
10000,
  objectConfig :: ObjectConfig
objectConfig = ObjectConfig {
    linkLimits :: (Int, Maybe Int)
linkLimits = (Int
11, Int -> Maybe Int
forall a. a -> Maybe a
Just Int
11),
    linksPerObjectLimits :: (Int, Maybe Int)
linksPerObjectLimits = (Int
1, Int -> Maybe Int
forall a. a -> Maybe a
Just Int
6),
    objectLimits :: (Int, Int)
objectLimits = (Int
6, Int
6)
    },
  objectProperties :: ObjectProperties
objectProperties = ObjectProperties {
    anonymousObjectProportion :: Rational
anonymousObjectProportion = Integer
0 Integer -> Integer -> Rational
forall a. Integral a => a -> a -> Ratio a
% Integer
1,
    completelyInhabited :: Maybe Bool
completelyInhabited = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
True,
    hasLimitedIsolatedObjects :: Bool
hasLimitedIsolatedObjects = Bool
True,
    hasSelfLoops :: Maybe Bool
hasSelfLoops = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
True,
    usesEveryRelationshipName :: Maybe Bool
usesEveryRelationshipName = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
True
    },
  omittedDefaultMultiplicities :: OmittedDefaultMultiplicities
omittedDefaultMultiplicities = OmittedDefaultMultiplicities {
    aggregationWholeOmittedDefaultMultiplicity :: Maybe (Int, Maybe Int)
aggregationWholeOmittedDefaultMultiplicity = (Int, Maybe Int) -> Maybe (Int, Maybe Int)
forall a. a -> Maybe a
Just (Int
0, Maybe Int
forall a. Maybe a
Nothing),
    associationOmittedDefaultMultiplicity :: Maybe (Int, Maybe Int)
associationOmittedDefaultMultiplicity = (Int, Maybe Int) -> Maybe (Int, Maybe Int)
forall a. a -> Maybe a
Just (Int
0, Maybe Int
forall a. Maybe a
Nothing),
    compositionWholeOmittedDefaultMultiplicity :: Maybe (Int, Maybe Int)
compositionWholeOmittedDefaultMultiplicity = Maybe (Int, Maybe Int)
forall a. Maybe a
Nothing
    },
  printSolution :: Bool
printSolution = Bool
True,
  timeout :: Maybe Int
timeout = Maybe Int
forall a. Maybe a
Nothing,
  withObviousMapping :: Maybe Bool
withObviousMapping = Maybe Bool
forall a. Maybe a
Nothing,
  extraText :: Maybe (Map Language String)
extraText = Maybe (Map Language String)
forall a. Maybe a
Nothing
  }

{-|
points: 0.08
average generation time per instance: 1:07min
CPU usage: 227%
-}
task2024_56 :: DifferentNamesConfig
task2024_56 :: DifferentNamesConfig
task2024_56 = DifferentNamesConfig {
  classConfig :: ClassConfig
classConfig = ClassConfig {
    classLimits :: (Int, Int)
classLimits = (Int
5, Int
5),
    aggregationLimits :: (Int, Maybe Int)
aggregationLimits = (Int
2, Int -> Maybe Int
forall a. a -> Maybe a
Just Int
2),
    associationLimits :: (Int, Maybe Int)
associationLimits = (Int
2, Int -> Maybe Int
forall a. a -> Maybe a
Just Int
2),
    compositionLimits :: (Int, Maybe Int)
compositionLimits = (Int
2, Int -> Maybe Int
forall a. a -> Maybe a
Just Int
2),
    inheritanceLimits :: (Int, Maybe Int)
inheritanceLimits = (Int
3, Int -> Maybe Int
forall a. a -> Maybe a
Just Int
3),
    relationshipLimits :: (Int, Maybe Int)
relationshipLimits = (Int
9, Int -> Maybe Int
forall a. a -> Maybe a
Just Int
9)
    },
  withNonTrivialInheritance :: Maybe Bool
withNonTrivialInheritance = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
False,
  maxInstances :: Maybe Integer
maxInstances = Integer -> Maybe Integer
forall a. a -> Maybe a
Just Integer
100,
  objectConfig :: ObjectConfig
objectConfig = ObjectConfig {
    linkLimits :: (Int, Maybe Int)
linkLimits = (Int
14, Int -> Maybe Int
forall a. a -> Maybe a
Just Int
16),
    linksPerObjectLimits :: (Int, Maybe Int)
linksPerObjectLimits = (Int
2, Int -> Maybe Int
forall a. a -> Maybe a
Just Int
6),
    objectLimits :: (Int, Int)
objectLimits = (Int
8, Int
10)
    },
  objectProperties :: ObjectProperties
objectProperties = ObjectProperties {
    anonymousObjectProportion :: Rational
anonymousObjectProportion = Integer
1 Integer -> Integer -> Rational
forall a. Integral a => a -> a -> Ratio a
% Integer
1,
    completelyInhabited :: Maybe Bool
completelyInhabited = Maybe Bool
forall a. Maybe a
Nothing,
    hasLimitedIsolatedObjects :: Bool
hasLimitedIsolatedObjects = Bool
True,
    hasSelfLoops :: Maybe Bool
hasSelfLoops = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
False,
    usesEveryRelationshipName :: Maybe Bool
usesEveryRelationshipName = Bool -> Maybe Bool
forall a. a -> Maybe a
Just Bool
True
    },
  omittedDefaultMultiplicities :: OmittedDefaultMultiplicities
omittedDefaultMultiplicities = OmittedDefaultMultiplicities {
    aggregationWholeOmittedDefaultMultiplicity :: Maybe (Int, Maybe Int)
aggregationWholeOmittedDefaultMultiplicity = (Int, Maybe Int) -> Maybe (Int, Maybe Int)
forall a. a -> Maybe a
Just (Int
0, Maybe Int
forall a. Maybe a
Nothing),
    associationOmittedDefaultMultiplicity :: Maybe (Int, Maybe Int)
associationOmittedDefaultMultiplicity = (Int, Maybe Int) -> Maybe (Int, Maybe Int)
forall a. a -> Maybe a
Just (Int
0, Maybe Int
forall a. Maybe a
Nothing),
    compositionWholeOmittedDefaultMultiplicity :: Maybe (Int, Maybe Int)
compositionWholeOmittedDefaultMultiplicity = Maybe (Int, Maybe Int)
forall a. Maybe a
Nothing
    },
  printSolution :: Bool
printSolution = Bool
True,
  timeout :: Maybe Int
timeout = Maybe Int
forall a. Maybe a
Nothing,
  withObviousMapping :: Maybe Bool
withObviousMapping = Maybe Bool
forall a. Maybe a
Nothing,
  extraText :: Maybe (Map Language String)
extraText = Maybe (Map Language String)
forall a. Maybe a
Nothing
  }