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

Methods

get

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

getFirst

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

put

put(bindings: Bindings, value: V): 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