Interface TermFactory<T>

TermFactory provides functions for creating new instances of the common Terms.

Type parameters

T

Hierarchy

TermFactory

Index

Methods

Methods

and

and(left: Term<T>, right: Term<T>): Term<T>

- Defined in compile/term.ts:76
and Term constructor.

Parameters
- left: Term<T>
- right: Term<T>
Returns Term<T>

empty

empty(): Term<T>

- Defined in compile/term.ts:71
empty Term constructor.

Returns Term<T>

or

or(left: Term<T>, right: Term<T>): Term<T>

- Defined in compile/term.ts:81
or Term constructor.

Parameters
- left: Term<T>
- right: Term<T>
Returns Term<T>

Generated using TypeDoc