Class Hyp

This is only a convenience for building atoms. There is no requirement for implementations to extend JsAtom to be considered atoms.

Hierarchy (view full)

JsAtom
- Hyp

Index

Constructors

Properties

end? name pos? printname type

Accessors

Methods

addRef contains equals equalsHyp release toInfixString toListString toString

Constructors

constructor

new Hyp(printname, pos?, end?): Hyp
Parameters
- printname: string
- Optional pos: number
- Optional end: number
Returns Hyp
Overrides JsAtom.constructor
- Defined in packages/atoms/src/hyp/Hyp.ts:6

Properties

`Optional` `Readonly` end

end?: number

`Readonly` name

name: string

`Optional` `Readonly` pos

pos?: number

`Readonly` printname

printname: string

`Readonly` type

type: "hyperreal" = "hyperreal"

Accessors

iscons

get iscons(): boolean
Returns boolean
Inherited from JsAtom.iscons
- Defined in packages/atoms/src/atom/JsAtom.ts:26

isnil

get isnil(): boolean
Returns boolean
Inherited from JsAtom.isnil
- Defined in packages/atoms/src/atom/JsAtom.ts:29

Methods

addRef

addRef(): void
Returns void
Inherited from JsAtom.addRef
- Defined in packages/atoms/src/atom/JsAtom.ts:14

contains

contains(needle): boolean
Parameters
- needle: U
Returns boolean
Inherited from JsAtom.contains
- Defined in packages/atoms/src/atom/JsAtom.ts:16

equals

equals(other): boolean
Parameters
- other: U
Returns boolean
Overrides JsAtom.equals
- Defined in packages/atoms/src/hyp/Hyp.ts:13

equalsHyp

equalsHyp(other): boolean
Parameters
- other: Hyp
Returns boolean
- Defined in packages/atoms/src/hyp/Hyp.ts:19

release

release(): void
Returns void
Inherited from JsAtom.release
- Defined in packages/atoms/src/atom/JsAtom.ts:15

toInfixString

toInfixString(): string
Returns string
- Defined in packages/atoms/src/hyp/Hyp.ts:25

toListString

toListString(): string
Returns string
- Defined in packages/atoms/src/hyp/Hyp.ts:28

toString

toString(): string
Returns string
Overrides JsAtom.toString
- Defined in packages/atoms/src/hyp/Hyp.ts:31