Dvda.MultipleShooting.Types

Documentation

data Step a

Constructors

Step

Fields

stepStates :: Maybe [Expr a]

stepActions :: Maybe [Expr a]

stepParams :: HashSet (Expr a)

stepConstants :: HashSet (Expr a)

stepDxdt :: Maybe [Expr a]

stepLagrangeTerm :: Maybe (Expr a, (a, a))

stepMayerTerm :: Maybe (Expr a)

stepDt :: Maybe (Expr a)

stepBounds :: [(Expr a, (a, a, BCTime))]

stepConstraints :: [Constraint (Expr a)]

stepOutputs :: HashMap String (Expr a)

stepPeriodic :: HashSet (Expr a)

data Constraint a

Constructors

Constraint a Ordering a

Instances

Functor Constraint

Show a => Show (Constraint a)

data Ode a

Constructors

Ode (SparseVec (Expr a) -> SparseVec (Expr a) -> SparseVec (Expr a)) (Int, Int)

data BCTime

Constructors

ALWAYS

TIMESTEP Int

Instances

Eq BCTime

Show BCTime

eulerError :: Fractional (Expr a) => SparseVec (Expr a) -> SparseVec (Expr a) -> SparseVec (Expr a) -> SparseVec (Expr a) -> Ode a -> Expr a -> SparseVec (Expr a)

simpsonsRuleError :: Fractional (Expr a) => SparseVec (Expr a) -> SparseVec (Expr a) -> SparseVec (Expr a) -> SparseVec (Expr a) -> Ode a -> Expr a -> SparseVec (Expr a)

eulerError' :: Fractional (Expr a) => [Expr a] -> [Expr a] -> [Expr a] -> [Expr a] -> ([Expr a] -> [Expr a] -> [Expr a]) -> Expr a -> [Expr a]

simpsonsRuleError' :: Fractional (Expr a) => [Expr a] -> [Expr a] -> [Expr a] -> [Expr a] -> ([Expr a] -> [Expr a] -> [Expr a]) -> Expr a -> [Expr a]