Home Reference Source Repository

Function

Static Public Summary
public

Returns NodeEvaluators object for evaluating using direct (See makeEstimationEvaluators) method.

public

Returns NodeEvaluators object for evaluating using estimate method.

public

Creates a random ID generator given a PRNG

Static Public

public makeDirectEvaluators(web3: Web3, gateway: Gateway): NodeEvaluators source

import {makeDirectEvaluators} from 'fincontracts-lib/src/fincontract-evaluator.js'

Returns NodeEvaluators object for evaluating using direct (See makeEstimationEvaluators) method. Nodes are defined exactly as for estimate method with exceptions of:

  • if : selects the child interval based on the boolean value obtained from calling the gateway
  • scaleObs : interval arithmetic scalar multiplication with scale obtained from calling the gateway

Params:

NameTypeAttributeDescription
web3 Web3

a web3 instance connected to Ethereum node

gateway Gateway

a gateway instance not connected to any address

Return:

NodeEvaluators

node evaluators object describing direct evaluation method

public makeEstimationEvaluators(): NodeEvaluators source

import {makeEstimationEvaluators} from 'fincontracts-lib/src/fincontract-evaluator.js'

Returns NodeEvaluators object for evaluating using estimate method. Nodes are defined as:

  • if : interval arithmetic union
  • or : interval arithmetic union
  • and : interval arithmetic addition
  • give : interval arithmetic negation
  • scale : interval arithmetic scalar mulitplication with scale
  • scaleObs : interval arithmetic multiplication with estimate scale interval
  • timebound : zero interval if fincontract's upper bound has passed
  • one : interval arithmetic 1
  • zero : interval arithmetic 0

Return:

NodeEvaluators

node evaluators object describing estimate evaluation method

public makeRandomIDFunc(randomFunc: Function): Function source

import {makeRandomIDFunc} from 'fincontracts-lib/src/fincontract-dot-generator.js'

Creates a random ID generator given a PRNG

Params:

NameTypeAttributeDescription
randomFunc Function

a PRNG to be used as a source of randomness

Return:

Function

returns a random ID generator function