category

ode_solver(System)

  • System - Object implementing ode_system_protocol.

Common validation and option handling 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
Implements:
public ode_solver_protocol
Extends:
public options
Uses:
list
Remarks:
(none)
Inherited public predicates:
 check_option/1  check_options/1  default_option/1  default_options/1  option/2  option/3  solve/4  solve/5  solve/6  valid_option/1  valid_options/1

Public predicates

(no local declarations; see entity ancestors if any)

Protected predicates

check_initial_value/3

Checks initial and final times and a non-empty numeric initial state.

Compilation flags:
static
Template:
check_initial_value(InitialTime,InitialState,FinalTime)
Mode and number of proofs:
check_initial_value(+number,+list(number),+number) - one_or_error
Exceptions:
An 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)

evaluate_derivative/3

Evaluates and validates a system derivative.

Compilation flags:
static
Template:
evaluate_derivative(Time,State,Derivative)
Mode and number of proofs:
evaluate_derivative(+number,+list(number),-list(number)) - one_or_error
Exceptions:
The system returns a non-numeric derivative or one with the wrong dimension:
domain_error(ode_derivative,Derivative)

Private predicates

(no local declarations; see entity ancestors if any)

Operators

(none)