Class PropertyCase

Hierarchy (View Summary)

Case
- PropertyCase

Index

Constructors

Properties

caps engine env expr input isAffine? max note

Methods

Constructors

constructor

new PropertyCase(
    input: FreeVar[],
    options: AddCaseOptions,
    terms: string[],
): PropertyCase
Parameters
- input: FreeVar[]
- options: AddCaseOptions
- terms: string[]
Returns PropertyCase
Overrides Case.constructor
- Defined in quest.ts:470

Properties

caps

caps: Capability

engine

engine: Parser

env

env: { [key: string]: Expr }

expr

expr: Subst

input

input: FreeVar[]

`Optional`isAffine

isAffine?: boolean

max

max: number

Param: input

Param: options

note

note: string

Methods

check

check(...input: Expr[]): CaseResult
Parameters
- ...input: Expr[]
Returns CaseResult
Overrides Case.check
- Defined in quest.ts:496

parse

parse(src: string): Subst
Parameters
- src: string
Returns Subst
Inherited from Case.parse
- Defined in quest.ts:383