Eiffel Media API
Overview Cluster Class Classes Index      Previous Next      Top Features

em.network.multiplayer

Class EM_LAGRANGE_INTERPOLATOR



Creation

Features

Invariants

indexing

description

Lagrante interpolator.

date

$Date: 2005/10/23 12:18:39 $

revision

$Revision: 1.5 $

class

EM_LAGRANGE_INTERPOLATOR [NUM -> NUMERIC]

create

make

-- Init

feature -- Initialisation

make

-- Init

feature -- Access

evaluate (x: NUM): NUM

-- Evaluate lagrange polynomial at position x.

feature -- Element change

set_samples (some_samples: DS_LINEAR[EM_PAIR[NUM,NUM]])

-- Set sample points

require
some_samples_not_void: some_samples /= Void

invariant

count_equal: samples /= Void implies gamma.count = samples.count

-- From ANY
reflexive_equality: standard_is_equal (Current)
reflexive_conformance: conforms_to (Current)

end