DynOptInterface
Documentation for DynOptInterface.
diff --git a/dev/.documenter-siteinfo.json b/dev/.documenter-siteinfo.json index a8ce53c..38186d3 100644 --- a/dev/.documenter-siteinfo.json +++ b/dev/.documenter-siteinfo.json @@ -1 +1 @@ -{"documenter":{"julia_version":"1.10.3","generation_timestamp":"2024-05-31T16:39:58","documenter_version":"1.4.1"}} \ No newline at end of file +{"documenter":{"julia_version":"1.10.4","generation_timestamp":"2024-06-07T15:25:23","documenter_version":"1.4.1"}} \ No newline at end of file diff --git a/dev/index.html b/dev/index.html index 9ea023b..f2b08d2 100644 --- a/dev/index.html +++ b/dev/index.html @@ -1,2 +1,2 @@ -
Documentation for DynOptInterface.
Settings
This document was generated with Documenter.jl version 1.4.1 on Friday 31 May 2024. Using Julia version 1.10.3.
Documentation for DynOptInterface.
Settings
This document was generated with Documenter.jl version 1.4.1 on Friday 7 June 2024. Using Julia version 1.10.4.
The following are sub-types of AbstractDynamicFunction
:
AbstractAlgebraicFunction
DomainIndex
DynamicVariableIndex
NonlinearAlgebraicFunction
AbstractDifferentialFunction
DynamicVariableDerivative
ExplicitDifferentialFunction
NonlinearDifferentialFunction
AbstractBoundaryFunction
Initial
Final
NonlinearBoundaryFunction
IntegralFunction
BolzaFunction
DynOptInterface.AbstractDynamicFunction
— TypeAbstractDynamicFunction <: MOI.AbstractScalarFunction
Abstract supertype for dynamic functions.
DynOptInterface.AbstractAlgebraicFunction
— TypeAbstractAlgebraicFunction <: AbstractDynamicFunction
Abstract supertype for algebraic functions.
DynOptInterface.AbstractDifferentialFunction
— TypeAbstractDifferentialFunction <: AbstractDynamicFunction
Abstract supertype for differential functions.
DynOptInterface.AbstractBoundaryFunction
— TypeAbstractBoundaryFunction <: AbstractDynamicFunction
Abstract supertype for dynamic functions evaluated at the domain boundaries.
Settings
This document was generated with Documenter.jl version 1.4.1 on Friday 31 May 2024. Using Julia version 1.10.3.
DynOptInterface.AbstractDynamicFunction
— TypeAbstractDynamicFunction <: MOI.AbstractScalarFunction
Abstract supertype for dynamic functions.
DynOptInterface.AbstractAlgebraicFunction
— TypeAbstractAlgebraicFunction <: AbstractDynamicFunction
Abstract supertype for algebraic functions. That is, expressions that may contain $y(t)$ or $t$, but not $\dot{y}(t)$.
DynOptInterface.AbstractDifferentialFunction
— TypeAbstractDifferentialFunction <: AbstractDynamicFunction
Abstract supertype for differential functions. That is, expressions that may contain $\dot{y}(t)$, $y(t)$, or $t$.
DynOptInterface.AbstractBoundaryFunction
— TypeAbstractBoundaryFunction <: AbstractDynamicFunction
Abstract supertype for functions evaluated at domain boundaries. That is, expressions that may contain $y(t^0)$, $y(t^f)$, $t^0$, or $t^f$.
DynOptInterface.AbstractDomainAttribute
— TypeAbstractDomainAttribute
Abstract supertype for attribute objects that can be used to set or get attributes (properties) of domains in the model.
DynOptInterface.AbstractDynamicVariableAttribute
— TypeAbstractDynamicVariableAttribute
Abstract supertype for attributs objects that can be used to set or get attributes (properties) of dynamic variables in the model.
Settings
This document was generated with Documenter.jl version 1.4.1 on Friday 7 June 2024. Using Julia version 1.10.4.
DynOptInterface.NonlinearAlgebraicFunction
— TypeNonlinearAlgebraicFunction <: AbstractAlgebraicFunction
\[t_i \mapsto a(y(t_i), t_i, x)\]
Similar to MathOptInterface.ScalarNonlinearFunction
,
Each node in args
can be one of the following:
T<:Real
MathOptInterface.VariableIndex
DomainIndex
DynamicVariableIndex
NonlinearAlgebraicFunction
Settings
This document was generated with Documenter.jl version 1.4.1 on Friday 31 May 2024. Using Julia version 1.10.3.
DynOptInterface.LinearAlgebraicTerm
— TypeLinearAlgebraicTerm{T}
\[t_i \mapsto c_j y_j(t_i)\]
DynOptInterface.LinearAlgebraicFunction
— TypeLinearAlgebraicFunction{T} <: AbstractAlgebraicFunction
\[t_i \mapsto c^\top y(t_i)\]
DynOptInterface.SquaredAlgebraicTerm
— TypeSquaredAlgebraicTerm{T}
\[t_i \mapsto y_j(t_i) c_{jk} y_k(t_i)\]
DynOptInterface.SquaredAlgebraicFunction
— TypeSquaredAlgebraicFunction{T}
\[t_i \mapsto y(t_i)^\top C y(t_i)\]
DynOptInterface.NonlinearAlgebraicFunction
— TypeNonlinearAlgebraicFunction <: AbstractAlgebraicFunction
\[t_i \mapsto f_a(y(t_i), t_i, x)\]
Similar to MathOptInterface.ScalarNonlinearFunction
,
Each node in args
can be one of the following:
T<:Real
MathOptInterface.VariableIndex
DomainIndex
DynamicVariableIndex
NonlinearAlgebraicFunction
Settings
This document was generated with Documenter.jl version 1.4.1 on Friday 7 June 2024. Using Julia version 1.10.4.
DynOptInterface.Initial
— TypeInitial{AF<:AbstractAlgebraicFunction} <: AbstractBoundaryFunction
\[a(y(t_i^0), t_i^0, x)\]
Represents the evaluation of an AbstractAlgebraicFunction
at the initial point of its domain. Common cases are:
Initial{DomainIndex}
Initial{DynamicVariableIndex}
DynOptInterface.Final
— TypeFinal{AF<:AbstractAlgebraicFunction} <: AbstractBoundaryFunction
\[a(y(t_i^f), t_i^f, x)\]
Represents the evaluation of an AbstractAlgebraicFunction
at the final point of its domain. Common cases are:
Final{DomainIndex}
Final{DynamicVariableIndex}
DynOptInterface.NonlinearBoundaryFunction
— TypeNonlinearBoundaryFunction <: AbstractBoundaryFunction
\[b(y(t^0), y(t^f), t^0, t^f, x)\]
Similar to MathOptInterface.ScalarNonlinearFunction
,
Each node in args
can be one of the following:
T<:Real
MathOptInterface.VariableIndex
Initial{DomainIndex}
Final{DomainIndex}
Initial{DynamicVariableIndex}
Final{DynamicVariableIndex}
NonlinearBoundaryFunction
Settings
This document was generated with Documenter.jl version 1.4.1 on Friday 31 May 2024. Using Julia version 1.10.3.
DynOptInterface.Initial
— TypeInitial{AF<:AbstractAlgebraicFunction} <: AbstractBoundaryFunction
\[a(y(t_i^0), t_i^0, x)\]
Represents the evaluation of an AbstractAlgebraicFunction
at the initial point of its domain. Common cases are:
Initial{DomainIndex}
Initial{DynamicVariableIndex}
DynOptInterface.Final
— TypeFinal{AF<:AbstractAlgebraicFunction} <: AbstractBoundaryFunction
\[a(y(t_i^f), t_i^f, x)\]
Represents the evaluation of an AbstractAlgebraicFunction
at the final point of its domain. Common cases are:
Final{DomainIndex}
Final{DynamicVariableIndex}
DynOptInterface.NonlinearBoundaryFunction
— TypeNonlinearBoundaryFunction <: AbstractBoundaryFunction
\[f_b(y(t^0), y(t^f), t^0, t^f, x)\]
Similar to MathOptInterface.ScalarNonlinearFunction
,
Each node in args
can be one of the following:
T<:Real
MathOptInterface.VariableIndex
Initial{DomainIndex}
Final{DomainIndex}
Initial{DynamicVariableIndex}
Final{DynamicVariableIndex}
NonlinearBoundaryFunction
Settings
This document was generated with Documenter.jl version 1.4.1 on Friday 7 June 2024. Using Julia version 1.10.4.
DynOptInterface.DynamicVariableDerivative
— TypeDynamicVariableDerivative <: AbstractDifferentialFunction
\[t_i \mapsto \dot{y}_j(t_i)\]
A derivative
DynOptInterface.ExplicitDifferentialFunction
— TypeExplicitDifferentialFunction{AF<:AbstractAlgebraicFunction} <: AbstractDifferentialFunction
\[t_i \mapsto \dot{y}(t_i) - a(y(t_i), t_i, x)\]
DynOptInterface.NonlinearDifferentialFunction
— TypeNonlinearDifferentialFunction <: AbstractDifferentialFunction
\[t_i \mapsto r(\dot{y}(t_i), y(t_i), t_i, x)\]
Similar to MOI.ScalarNonlinearFunction
,
Each node in args
can be one of the following:
T<:Real
MOI.VariableIndex
DomainIndex
DynamicVariableIndex
DynamicVariableDerivative
NonlinearDifferentialFunction
Settings
This document was generated with Documenter.jl version 1.4.1 on Friday 31 May 2024. Using Julia version 1.10.3.
DynOptInterface.DynamicVariableDerivative
— TypeDynamicVariableDerivative <: AbstractDifferentialFunction
\[t_i \mapsto \dot{y}_j(t_i)\]
A derivative
DynOptInterface.ExplicitDifferentialFunction
— TypeExplicitDifferentialFunction{AF<:AbstractAlgebraicFunction} <: AbstractDifferentialFunction
\[t_i \mapsto \dot{y}(t_i) - a(y(t_i), t_i, x)\]
DynOptInterface.NonlinearDifferentialFunction
— TypeNonlinearDifferentialFunction <: AbstractDifferentialFunction
\[t_i \mapsto f_d(\dot{y}(t_i), y(t_i), t_i, x)\]
Similar to MOI.ScalarNonlinearFunction
,
Each node in args
can be one of the following:
T<:Real
MOI.VariableIndex
DomainIndex
DynamicVariableIndex
DynamicVariableDerivative
NonlinearDifferentialFunction
Settings
This document was generated with Documenter.jl version 1.4.1 on Friday 7 June 2024. Using Julia version 1.10.4.
DynOptInterface.DomainIndex
— TypeDomainIndex <: AbstractAlgebraicFunction
\[t_i\]
A type-safe wrapper for Int64
for use in referencing domains.
DynOptInterface.supports_domain
— Functionsupports_domain(model::MOI.ModelLike)
Return a Bool
indicating whether model
supports domains.
DynOptInterface.UnsupportedDomain
— TypeUnsupportedDomain <: MOI.UnsupportedError
An error indicating that domains are not supported by the model, that is, that supports_domain
returns false
.
DynOptInterface.AddDomainNotAllowed
— TypeAddDomainNotAllowed <: MOI.NotAllowedError
An error indicating that domains cannot be added to the model in its current state.
DynOptInterface.add_domain
— Functionadd_domain(model::MOI.ModelLike)
Add a domain to model
, returning a DomainIndex
. An AddDomainNotAllowed
is thrown if a domain cannot be added to the model
in its current state.
Settings
This document was generated with Documenter.jl version 1.4.1 on Friday 31 May 2024. Using Julia version 1.10.3.
DynOptInterface.DomainIndex
— TypeDomainIndex <: AbstractAlgebraicFunction
\[t_i \in [t_i^0, t_i^f]\]
A type-safe wrapper for Int64
for use in referencing domains.
DynOptInterface.DomainName
— TypeDomainName <: AbstractDomainAttribute
A domain attribute for a String
identifying a DomainIndex
. If not set, it has a default value of ""
.
DynOptInterface.DomainInitialPrimalStart
— TypeDomainInitialPrimalStart <: AbstractDomainAttribute
A domain attribute for setting a starting value for $t_i^0$, which may help warm-start the optimizer. It is either a number or a nothing
(unset).
DynOptInterface.DomainFinalPrimalStart
— TypeDomainFinalPrimalStart <: AbstractDomainAttribute
A domain attribute for setting a starting value for $t_i^f$, which may help warm-start the optimizer. It is either a number or a nothing
(unset).
DynOptInterface.DomainInitialPrimal
— TypeDomainInitialPrimal <: AbstractDomainAttribute
A domain attribute for setting or getting $t_i^0$. It should have the same behaviour as the MathOptInterface.VariablePrimal
attribute.
DynOptInterface.DomainFinalPrimal
— TypeDomainFinalPrimal <: AbstractDomainAttribute
A domain attribute for setting or getting $t_i^f$. It should have the same behaviour as the MathOptInterface.VariablePrimal
attribute.
DynOptInterface.supports_domain
— Functionsupports_domain(model::MOI.ModelLike)
Return a Bool
indicating whether model
supports domains.
DynOptInterface.add_domain
— Functionadd_domain(model::MOI.ModelLike)
Add a domain to model
, returning a DomainIndex
. An AddDomainNotAllowed
is thrown if a domain cannot be added to the model
in its current state.
DynOptInterface.UnsupportedDomain
— TypeUnsupportedDomain <: MOI.UnsupportedError
An error indicating that domains are not supported by the model, that is, that supports_domain
returns false
.
DynOptInterface.AddDomainNotAllowed
— TypeAddDomainNotAllowed <: MOI.NotAllowedError
An error indicating that domains cannot be added to the model in its current state.
Settings
This document was generated with Documenter.jl version 1.4.1 on Friday 7 June 2024. Using Julia version 1.10.4.
DynOptInterface.DynamicVariableIndex
— TypeDynamicVariableIndex <: AbstractDynamicFunction
\[t_i \mapsto y_j(t_i)\]
A type-safe wrapper for Int64
for use in referencing dynamic variables.
DynOptInterface.supports_dynamic_variable
— Functionsupports_dynamic_variable(model::MOI.ModelLike)
Return a Bool
indicating whether model
supports dynamic variables.
DynOptInterface.UnsupportedDynamicVariable
— TypeUnsupportedDynamicVariable <: MOI.UnsupportedError
An error indicating that dynamic variables are not supported by the model, that is, that supports_dynamic_variable
returns false
.
DynOptInterface.AddDynamicVariableNotAllowed
— TypeAddDynamicVariableNotAllowed <: MOI.NotAllowedError
An error indicating that dynamic variables cannot be added to the model in its current state.
DynOptInterface.add_dynamic_variable
— Functionadd_dynamic_variable(model::MOI.ModelLike)
Add a dynamic variable to model
, returning a DynamicVariableIndex
. An AddDynamicVariableNotAllowed
is thrown if a dynamic variable cannot be added to model
in its current state.
Settings
This document was generated with Documenter.jl version 1.4.1 on Friday 31 May 2024. Using Julia version 1.10.3.
DynOptInterface.DynamicVariableIndex
— TypeDynamicVariableIndex <: AbstractDynamicFunction
\[t_i \mapsto y_j(t_i)\]
A type-safe wrapper for Int64
for use in referencing dynamic variables.
DynOptInterface.DynamicVariableName
— TypeDynamicVariableName <: AbstractDomainAttribute
A dynamic variable attribute for a String
identifying a DynamicVariableIndex
. If not set, it has a default value of ""
.
DynOptInterface.DynamicVariablePrimalStart
— TypeDynamicVariablePrimalStart <: AbstractDynamicVariableAttribute
A dynamic variable attribute for setting a starting function for $y_j(t_i)$, which may help warm-start the optimizer. It is either a nothing
(unset) or a single-argument function of T<:Real
.
DynOptInterface.DynamicVariablePrimal
— TypeDynamicVariablePrimal <: AbstractDynamicVariableAttribute
A dynamic variable attribute for setting or getting $y_j(t_i)$. It should be a single-argument function of T<:Real
. It should have the same behaviour as the MathOptInterface.VariablePrimal
attribute.
DynOptInterface.supports_dynamic_variable
— Functionsupports_dynamic_variable(model::MOI.ModelLike)
Return a Bool
indicating whether model
supports dynamic variables.
DynOptInterface.add_dynamic_variable
— Functionadd_dynamic_variable(model::MOI.ModelLike)
Add a dynamic variable to model
, returning a DynamicVariableIndex
. An AddDynamicVariableNotAllowed
is thrown if a dynamic variable cannot be added to model
in its current state.
DynOptInterface.UnsupportedDynamicVariable
— TypeUnsupportedDynamicVariable <: MOI.UnsupportedError
An error indicating that dynamic variables are not supported by the model, that is, that supports_dynamic_variable
returns false
.
DynOptInterface.AddDynamicVariableNotAllowed
— TypeAddDynamicVariableNotAllowed <: MOI.NotAllowedError
An error indicating that dynamic variables cannot be added to the model in its current state.
Settings
This document was generated with Documenter.jl version 1.4.1 on Friday 7 June 2024. Using Julia version 1.10.4.
DynOptInterface.IntegralFunction
— TypeIntegralFunction{AF<:AbstractAlgebraicFunction} <: AbstractDynamicFunction
\[\int_{t_i^o}^{t_i^f} a(y(t_i), t_i, x) \mathrm{d}t_i\]
Represents the integral of an AbstractAlgebraicFunction
over its domain.
DynOptInterface.BolzaFunction
— TypeBolzaFunction{BF<:AbstractBoundaryFunction, AF<:AbstractAlgebraicFunction} <: AbstractDynamicFunction
\[b(y_0, y_f, t_0, t_f, x) + \int_{t_i^o}^{t_i^f} a(y(t_i), t_i, x) \mathrm{d}t_i\]
Represents the sum of an AbstractBoundaryFunction
with the integral of an AbstractAlgebraicFunction
. The functions must have the same DomainIndex
.
Settings
This document was generated with Documenter.jl version 1.4.1 on Friday 31 May 2024. Using Julia version 1.10.3.
DynOptInterface.IntegralFunction
— TypeIntegralFunction{AF<:AbstractAlgebraicFunction} <: AbstractDynamicFunction
\[\int_{t_i^o}^{t_i^f} a(y(t_i), t_i, x) \mathrm{d}t_i\]
Represents the integral of an AbstractAlgebraicFunction
over its domain.
DynOptInterface.BolzaFunction
— TypeBolzaFunction{BF<:AbstractBoundaryFunction, AF<:AbstractAlgebraicFunction} <: AbstractDynamicFunction
\[b(y_0, y_f, t_0, t_f, x) + \int_{t_i^o}^{t_i^f} a(y(t_i), t_i, x) \mathrm{d}t_i\]
Represents the sum of an AbstractBoundaryFunction
with the integral of an AbstractAlgebraicFunction
. The functions must have the same DomainIndex
.
Settings
This document was generated with Documenter.jl version 1.4.1 on Friday 7 June 2024. Using Julia version 1.10.4.