Class Branch

Represents a jump from one State to another from the given pc.

Hierarchy

Branch

Index

Constructors

Properties

Methods

Constructors

constructor

new Branch(pc, state): Branch
Parameters
- pc: number
- state: State<Inst, Expr>
Returns Branch
- Defined in src/ast/flow.ts:8

Properties

`Readonly` pc

pc: number

state

state: State<Inst, Expr>

Methods

`Static` make

make(pc, state): Branch
Parameters
- pc: number
- state: State<Inst, Expr>
Returns Branch
- Defined in src/ast/flow.ts:10

Generated using TypeDoc v0.25.2