inductive Scheduler.StateMachine.Err : Type

• NoActiveKey : Tokens.Elem.TId → Err
• NoActiveLink : Tokens.Elem.TId → Err
• NoRegisteredData : Tokens.Elem.TId → Err
• NoUpper : Err
• AdvCond : Err
• RewindCond : Err

instance Scheduler.StateMachine.instReprErr : Repr Err

Equations

• Scheduler.StateMachine.instReprErr = { reprPrec := Scheduler.StateMachine.instReprErr.repr }

def Scheduler.StateMachine.instReprErr.repr : Err → ℕ → Std.Format

Equations

• One or more equations did not get rendered due to their size.

def Scheduler.StateMachine.next (p : MidgardParameters) (opDir : OperatorDirectory.State.OperatorDirectory) (i : InfoActions State.Sch_Actions) (s : State.SchedulerDatum) : ComputationResult Err State.SchedulerDatum

Equations

• One or more equations did not get rendered due to their size.

def Scheduler.StateMachine.scheduler_init : Option State.SchedulerDatum

Equations

• Scheduler.StateMachine.scheduler_init = some Scheduler.State.SchedulerDatum.init