root
root
API
foresight
eqsat
commands
AddManyCommand
Command
Command
CommandQueue
CommandQueue
CommandQueueBuilder
EClassSymbol
EClassSymbol
Real
Virtual
ENodeSymbol
UnionManyCommand
extraction
CostFunction
ExtractionAnalysis
ExtractionAnalysis
ExtractionTree
ExtractionTreeCall
ExtractionTreeOrdering
Extractor
metadata
Analysis
AnalysisMetadata
Metadata
parallel
CancellationToken
OperationCanceledException
ParallelMap
ParallelMap
TimedParallelMap
TimingReport
TimingReport
rewriting
patterns
CompiledPattern
CompiledPattern
Instruction
Instruction
BindNode
BindVar
Compare
Machine
MachineError
MachineError
InconsistentVars
NoMatchingNode
MachineResult
MachineResult
Failure
Success
MachineSearcherPhase
MachineState
MachineState
Pattern
Pattern
Var
Var
PatternApplier
PatternCompiler
PatternMatch
PortableMatch
ReversibleApplier
ReversibleSearcher
ReversibleSearcher
ReversibleSearcherPhase
Searcher
Searcher
Filter
Flatten
Map
SearcherOfPatternMatch
SearcherOfPatternMatchProductOps
SearcherOfSeqOfTraversableOps
SearcherOfSeqOps
SearcherPhase
saturation
priorities
CurveFittedPriorities
MatchPriorities
PrioritizedMatch
ReweightedPriorities
UniformPriorities
BackoffRule
BackoffRuleApplication
BackoffRuleStats
EGraphWithRecordedApplications
EGraphWithRecordedApplications
EGraphWithRoot
EGraphWithRoot
MaximalRuleApplication
MaximalRuleApplication
MaximalRuleApplicationWithCaching
Rebase
Rebase
RuleStats
SearchAndApply
SearchAndApply
StochasticRuleApplication
StochasticRuleApplication
StochasticRuleApplicationWithCaching
Strategy
Strategy
WithMetadata
WithMetadataAndRoot
WithRecordedApplications
WithRecordingMetadataAndRoot
WithRoot
TransformAndRebase
TransformAndRebase
AddNodeResult
AddNodeResult
Added
AlreadyThere
EClassCall
EClassRef
EGraph
EGraph
EGraphLike
EGraphWithPendingUnions
EGraphWithPendingUnions
ENode
ENode
MixedTree
MixedTree
Call
MixedTreeOfEClassCallOps
MixedTreeOfPatternOps
Node
Permutation
ShapeCall
Slot
Slot
NumberedSlot
UniqueSlot
SlotMap
SlotMap
Tree
Tree
util
collections
StrictMapOps
Ops
ordering
SeqOrdering
random
DiscreteDistribution
Random
Random
Sample
ShiftedGeometricDistribution
root
root
Members list
Clear all
Packages
package
foresight
In this article
Members list
Packages