Interface Claim

Fluent claim — a labeled bool signal with the algebra.

interface Claim {
    label?: string;
    pred: Read<boolean>;
    value: boolean;
    and(other: Read<boolean>): Claim;
    during(scope: Scope): Claim;
    labelled(name: string): Claim;
    not(): Claim;
    or(other: Read<boolean>): Claim;
    peek(): boolean;
}

Hierarchy

Read<boolean>
- Claim (View Summary)

Index

Methods

and during labelled not or peek

Properties

label? pred value

Methods

and

and(other: Read<boolean>): Claim
Parameters
- other: Read<boolean>
Returns Claim
- Defined in src/assert/claim.ts:16

during

during(scope: Scope): Claim
Parameters
- scope: Scope
Returns Claim
- Defined in src/assert/claim.ts:19

labelled

labelled(name: string): Claim
Parameters
- name: string
Returns Claim
- Defined in src/assert/claim.ts:20

not

not(): Claim
Returns Claim
- Defined in src/assert/claim.ts:18

or

or(other: Read<boolean>): Claim
Parameters
- other: Read<boolean>
Returns Claim
- Defined in src/assert/claim.ts:17

peek

peek(): boolean
Returns boolean
Inherited from Read.peek
- Defined in src/core/cell.ts:606

Properties

`Optional` `Readonly`label

label?: string

`Readonly`pred

pred: Read<boolean>

The raw predicate (pre-latching), useful for custom latch() shapes.

`Readonly`value

value: boolean