Documentation
Aesop
.
Search
.
Queue
Search
return to top
source
Imports
Init
Aesop.Options
Aesop.Tracing
Aesop.Tree
Aesop.Search.Queue.Class
Batteries.Data.BinomialHeap.Basic
Imported by
Aesop
.
BestFirstQueue
.
ActiveGoal
Aesop
.
BestFirstQueue
.
ActiveGoal
.
le
Aesop
.
BestFirstQueue
.
ActiveGoal
.
ofGoalRef
Aesop
.
BestFirstQueue
Aesop
.
BestFirstQueue
.
init
Aesop
.
BestFirstQueue
.
addGoals
Aesop
.
BestFirstQueue
.
popGoal
Aesop
.
instQueueBestFirstQueue
Aesop
.
LIFOQueue
Aesop
.
LIFOQueue
.
init
Aesop
.
LIFOQueue
.
addGoals
Aesop
.
LIFOQueue
.
popGoal
Aesop
.
LIFOQueue
.
instQueue
Aesop
.
FIFOQueue
Aesop
.
FIFOQueue
.
init
Aesop
.
FIFOQueue
.
addGoals
Aesop
.
FIFOQueue
.
popGoal
Aesop
.
FIFOQueue
.
instQueue
Aesop
.
Options
.
queue
source
structure
Aesop
.
BestFirstQueue
.
ActiveGoal
:
Type
goal :
GoalRef
priority :
Percent
lastExpandedInIteration :
Iteration
addedInIteration :
Iteration
Instances For
source
def
Aesop
.
BestFirstQueue
.
ActiveGoal
.
le
(
g
h
:
ActiveGoal
)
:
Bool
Equations
Instances For
source
def
Aesop
.
BestFirstQueue
.
ActiveGoal
.
ofGoalRef
(
gref
:
GoalRef
)
:
BaseIO
ActiveGoal
Equations
Instances For
source
def
Aesop
.
BestFirstQueue
:
Type
Equations
Instances For
source
def
Aesop
.
BestFirstQueue
.
init
:
BestFirstQueue
Equations
Instances For
source
def
Aesop
.
BestFirstQueue
.
addGoals
(
q
:
BestFirstQueue
)
(
grefs
:
Array
GoalRef
)
:
BaseIO
BestFirstQueue
Equations
Instances For
source
def
Aesop
.
BestFirstQueue
.
popGoal
(
q
:
BestFirstQueue
)
:
Option
GoalRef
×
BestFirstQueue
Equations
Instances For
source
instance
Aesop
.
instQueueBestFirstQueue
:
Queue
BestFirstQueue
Equations
source
structure
Aesop
.
LIFOQueue
:
Type
goals :
Array
GoalRef
Instances For
source
def
Aesop
.
LIFOQueue
.
init
:
LIFOQueue
Equations
Instances For
source
def
Aesop
.
LIFOQueue
.
addGoals
(
q
:
LIFOQueue
)
(
grefs
:
Array
GoalRef
)
:
LIFOQueue
Equations
Instances For
source
def
Aesop
.
LIFOQueue
.
popGoal
(
q
:
LIFOQueue
)
:
Option
GoalRef
×
LIFOQueue
Equations
Instances For
source
instance
Aesop
.
LIFOQueue
.
instQueue
:
Queue
LIFOQueue
Equations
source
structure
Aesop
.
FIFOQueue
:
Type
goals :
Array
GoalRef
pos :
Nat
Instances For
source
def
Aesop
.
FIFOQueue
.
init
:
FIFOQueue
Equations
Instances For
source
def
Aesop
.
FIFOQueue
.
addGoals
(
q
:
FIFOQueue
)
(
grefs
:
Array
GoalRef
)
:
FIFOQueue
Equations
Instances For
source
def
Aesop
.
FIFOQueue
.
popGoal
(
q
:
FIFOQueue
)
:
Option
GoalRef
×
FIFOQueue
Equations
Instances For
source
instance
Aesop
.
FIFOQueue
.
instQueue
:
Queue
FIFOQueue
Equations
source
def
Aesop
.
Options
.
queue
(
opts
:
Options
)
:
(
Q
:
Type
) ×
Queue
Q
Equations
Instances For