| Did you know ... | Search Documentation: |
 | Pack logtalk -- logtalk-3.102.0/docs/apis/_sources/ode_solver_protocol_0.rst.txt |
- HOME
- DOWNLOAD
- DOCUMENTATION
- TUTORIALS
- Beginner▶
- Advanced▶
- Web applications▶
- Semantic web▶
- Graphics▶
- Machine learning▶
- External collections▶
- For packagers▶
- COMMUNITY
- COMMERCIAL
- WIKI
.. index:: single: ode_solver_protocol .. _ode_solver_protocol/0:
.. rst-class:: right
protocol
ode_solver_protocol
Protocol for non-stiff initial-value ODE solvers.
| Availability:
| logtalk_load(numerical_analysis(loader))
| Author: Paulo Moura | Version: 1:0:0 | Date: 2026-09-04
| Compilation flags:
| static
| Dependencies: | (none)
| Remarks: | (none)
| Inherited public predicates: | (none)
.. contents:: :local: :backlinks: top
Public predicates
.. index:: solve/4 .. _ode_solver_protocol/0::solve/4:
solve/4 ^^^^^^^^^^^
Solves an initial-value problem using default options.
| Compilation flags:
| static
| Template:
| solve(InitialTime,InitialState,FinalTime,Trajectory)
| Mode and number of proofs:
| solve(+number,+list(number),+number,-list(pair)) - one_or_error
| Exceptions:
| An input argument is a variable:
| instantiation_error
| A time is not a number:
| type_error(number,Time)
| InitialState is not a non-empty numeric list:
| domain_error(ode_state,InitialState)
| The system returns an invalid derivative:
| domain_error(ode_derivative,Derivative)
.. index:: solve/5 .. _ode_solver_protocol/0::solve/5:
solve/5 ^^^^^^^^^^^
Solves an initial-value problem using the given options.
| Compilation flags:
| static
| Template:
| solve(InitialTime,InitialState,FinalTime,Trajectory,Options)
| Mode and number of proofs:
| solve(+number,+list(number),+number,-list(pair),+list(compound)) - one_or_error
| Exceptions:
| An input argument or Options is a variable:
| instantiation_error
| A time is not a number:
| type_error(number,Time)
| InitialState is not a non-empty numeric list:
| domain_error(ode_state,InitialState)
| The system returns an invalid derivative:
| domain_error(ode_derivative,Derivative)
| Options is a variable:
| instantiation_error
| Options is neither a variable nor a list:
| type_error(list,Options)
| An element Option of the list Options is a variable:
| instantiation_error
| An element Option of the list Options is neither a variable nor a compound term:
| type_error(compound,Option)
| An element Option of the list Options is a compound term but not a valid option:
| domain_error(option,Option)
.. index:: solve/6 .. _ode_solver_protocol/0::solve/6:
solve/6 ^^^^^^^^^^^
Solves an initial-value problem and returns run statistics using the given options.
| Compilation flags:
| static
| Template:
| solve(InitialTime,InitialState,FinalTime,Trajectory,Statistics,Options)
| Mode and number of proofs:
| solve(+number,+list(number),+number,-list(pair),-list(compound),+list(compound)) - one_or_error
| Exceptions:
| An input argument or Options is a variable:
| instantiation_error
| A time is not a number:
| type_error(number,Time)
| InitialState is not a non-empty numeric list:
| domain_error(ode_state,InitialState)
| The system returns an invalid derivative:
| domain_error(ode_derivative,Derivative)
| Options is a variable:
| instantiation_error
| Options is neither a variable nor a list:
| type_error(list,Options)
| An element Option of the list Options is a variable:
| instantiation_error
| An element Option of the list Options is neither a variable nor a compound term:
| type_error(compound,Option)
| An element Option of the list Options is a compound term but not a valid option:
| domain_error(option,Option)
Protected predicates
(none)
Private predicates
(none)
Operators
(none)