Class BindingsIndexDef<V>

A simple efficient hash-based index for maintaining bindings, and checking whether or not a bindings is contained in this index.

This can not handle bindings with undefined values.

Type Parameters

V

Implements

IBindingsIndex<V>

Index

Constructors

Methods

get getFirst put values

Constructors

constructor

new BindingsIndexDef<V>(keys, hashFn): BindingsIndexDef<V>
Type Parameters
- V
Parameters
- keys: MetadataVariable[]
- hashFn: ((term: Bindings, keys: Variable[]) => string)
  - - (term, keys): string
    - Parameters
      term: Bindings
      keys: Variable[]
      Returns string
Returns BindingsIndexDef<V>
- Defined in BindingsIndexDef.ts:16

Methods

get

get(bindings): V[]
Parameters
- bindings: Bindings
Returns V[]
Implementation of IBindingsIndex.get
- Defined in BindingsIndexDef.ts:26

getFirst

getFirst(bindings): undefined | V
Parameters
- bindings: Bindings
Returns undefined | V
Implementation of IBindingsIndex.getFirst
- Defined in BindingsIndexDef.ts:31

put

put(bindings, value): V
Parameters
- bindings: Bindings
- value: V
Returns V
Implementation of IBindingsIndex.put
- Defined in BindingsIndexDef.ts:22

values

values(): V[]
Returns V[]
Implementation of IBindingsIndex.values
- Defined in BindingsIndexDef.ts:35