:: HasName a
=> { pName :: Name
Program name.
, authors :: [a]
Authors.
, purpose :: Purpose
Purpose.
, background :: Background
Example Background.
, inputs :: [Input]
All inputs.
, extInputs :: [Input]
Explicit inputs (values to be supplied by a file).
, derivedInputs :: [Derived]
Derived inputs (each calculated from explicit inputs in a single step).
, outputs :: [Output]
All outputs.
, configFiles :: [FilePath]
List of files that must be in same directory for running the executable.
, execOrder :: [Def]
Mathematical definitions, ordered so that they form a path from inputs to outputs.
, cMap :: ConstraintCEMap
Map from UIDs to constraints for all constrained chunks used in the problem.
, constants :: [Const]
List of all constants used in the problem.
, constMap :: ConstantMap
Map containing all constants used in the problem.
, mods :: [Mod]
Additional modules required in the generated code, which Drasil cannot yet automatically define.
, sysinfodb :: ChunkDB
The database of all chunks used in the problem.
} -> CodeSpec

type ConstantMap = Map UID CodeDefinition Source #

Maps constants to their respective CodeDefinition.

assocToMap :: HasUID a => [a] -> Map UID a Source #

Converts a list of chunks that have UIDs to a Map from UID to the associated chunk.

getODE :: [ExtLib] -> Maybe ODE Source #

Get ODE from ExtLib

mapODE :: Maybe ODE -> [CodeDefinition] Source #

Maps ODE to their respective CodeDefinition.

codeSpec :: SystemInformation -> Choices -> [Mod] -> CodeSpec Source #

Defines a CodeSpec based on the SystemInformation, Choices, and Mods defined by the user.

asVC :: Func -> QuantityDict Source #

Convert a Func to an implementation-stage QuantityDict representing the function.

funcUID :: Func -> UID Source #

Get a UID of a chunk corresponding to a Func.

getDerivedInputs :: [DataDefinition] -> [Input] -> [Const] -> ChunkDB -> [SimpleQDef] Source #

Determines the derived inputs, which can be immediately calculated from the knowns (inputs and constants). If there are DDs, the derived inputs will come from those. If there are none, then the QDefinitions are used instead.

type Known = CodeVarChunk Source #

Known values.

type Need = CodeVarChunk Source #

Calculated values.

getExecOrder :: [Def] -> [Known] -> [Need] -> ChunkDB -> [Def] Source #

Orders a list of definitions such that they form a path between Known values and values that Need to be calculated.

getConstraints :: HasUID c => ConstraintCEMap -> [c] -> [ConstraintCE] Source #

Get a list of Constraints for a list of CodeChunks.

constraintvars :: ConstraintCE -> ChunkDB -> [CodeChunk] Source #

Get a list of CodeChunks from a constraint.