structure Aesop.BestFirstQueue.ActiveGoal : Type

• goal : GoalRef
• priority : Percent
• lastExpandedInIteration : Iteration
• addedInIteration : Iteration

def Aesop.BestFirstQueue.ActiveGoal.le (g h : ActiveGoal) : Bool

def Aesop.BestFirstQueue.ActiveGoal.ofGoalRef (gref : GoalRef) : BaseIO ActiveGoal

def Aesop.BestFirstQueue : Type

def Aesop.BestFirstQueue.init : BestFirstQueue

def Aesop.BestFirstQueue.addGoals (q : BestFirstQueue) (grefs : Array GoalRef) : BaseIO BestFirstQueue

def Aesop.BestFirstQueue.popGoal (q : BestFirstQueue) : Option GoalRef × BestFirstQueue

@[implicit_reducible]

instance Aesop.instQueueBestFirstQueue : Queue BestFirstQueue

structure Aesop.LIFOQueue : Type

• goals : Array GoalRef

def Aesop.LIFOQueue.init : LIFOQueue

def Aesop.LIFOQueue.addGoals (q : LIFOQueue) (grefs : Array GoalRef) : LIFOQueue

def Aesop.LIFOQueue.popGoal (q : LIFOQueue) : Option GoalRef × LIFOQueue

@[implicit_reducible]

instance Aesop.LIFOQueue.instQueue : Queue LIFOQueue

structure Aesop.FIFOQueue : Type

• goals : Array GoalRef
• pos : Nat

def Aesop.FIFOQueue.init : FIFOQueue

def Aesop.FIFOQueue.addGoals (q : FIFOQueue) (grefs : Array GoalRef) : FIFOQueue

def Aesop.FIFOQueue.popGoal (q : FIFOQueue) : Option GoalRef × FIFOQueue

@[implicit_reducible]

instance Aesop.FIFOQueue.instQueue : Queue FIFOQueue

def Aesop.Options.queue (opts : Options) : (Q : Type) × Queue Q