foresight
foresight
API
foresight
eqsat
collections
SlotMap
SlotMap
SlotSeq
SlotSeq
SlotSet
SlotSet
commands
CommandSchedule
CommandScheduleBuilder
CommandScheduleBuilder
extraction
CostAnalysis
CostAnalysis
CostFunction
CostFunction
ExtractionAnalysis
ExtractionAnalysis
ExtractionTree
ExtractionTreeCall
ExtractionTreeOrdering
Extractor
immutable
AnalysisMetadata
AnalysisMetadata
EGraph
EGraph
EGraphWithMetadata
EGraphWithMetadata
EGraphWithPendingUnions
EGraphWithPendingUnions
EGraphWithRecordedApplications
EGraphWithRecordedApplications
EGraphWithRoot
EGraphWithRoot
Metadata
lang
AnalysisBox
AnalysisBox
AnalysisFact
AsAtom
AsAtom
AtomDecoder
AtomEncoder
Box
Box
Def
Def
given_Conversion_Slot_Def
Language
Language
LanguageAnalysis
LanguageCostFunction
LanguageExtractor
LanguageOp
LanguageOp
LowPriorityAtomDecoder
Use
Use
given_Conversion_Slot_Use
metadata
Analysis
mutable
AnalysisMetadata
AnalysisMetadata
EGraph
EGraph
EGraphWithMetadata
EGraphWithMetadata
FreezableEGraph
FreezableEGraph
FreezableMetadata
FreezableMetadata
Metadata
parallel
CancellationToken
OperationCanceledException
ParallelMap
ParallelMap
TimedParallelMap
TimingReport
TimingReport
readonly
AnalysisMetadata
EGraph
EGraphDecorator
EGraphWithMetadata
rewriting
patterns
CompiledPattern
CompiledPattern
Instruction
Instruction
BindNode
BindVar
Compare
Effects
Effects
Execution
Pool
Execution
Machine
MachineEClassSearcher
MachineEClassSearcher
MachineError
MachineError
InconsistentVars
NoMatchingNode
MachineResult
MachineResult
Failure
Success
MachineState
MutableMachineState
MutableMachineState
Pool
Pool
Pattern
Var
Var
PatternApplier
PatternCompiler
PatternMatch
Applier
Applier
ApplierOps
Filter
FlatMap
Map
EClassSearcher
EClassesToSearch
EClassesToSearch
PortableMatch
ReversibleApplier
ReversibleSearcher
Rewrite
Rule
Rule
ApplicationException
Searcher
Searcher
SearcherOfPatternMatchPairsOps
SearcherContinuation
ContinuationBuilder
SearcherLike
SearcherLike
SearcherLikeOfPatternMatch
saturation
priorities
CurveFittedPriorities
MatchPriorities
PrioritizedMatch
ReweightedPriorities
UniformPriorities
BackoffRule
BackoffRuleApplication
BackoffRuleApplication
BackoffRuleStats
MaximalRuleApplication
MaximalRuleApplication
MaximalRuleApplicationWithCaching
Rebase
Rebase
RepeatUntilStableBuilder
RuleStats
SearchAndApply
SearchAndApply
StochasticRuleApplication
StochasticRuleApplication
StochasticRuleApplicationWithCaching
Strategy
Strategy
WithMetadata
WithMetadataAndRoot
WithRecordedApplications
WithRecordingMetadataAndRoot
WithRoot
AddNodeResult
AddNodeResult
Added
AlreadyThere
EClassCall
EClassRef
EClassSymbol
EClassSymbol
Virtual
ENode
ENode
ENodeSymbol
ENodeSymbol
Virtual
MixedTree
MixedTree
Atom
MixedTreeOfEClassCallOps
MixedTreeOfPatternOps
Node
Node
Node
Permutation
ShapeCall
Slot
Slot
NumberedSlot
NumberedSlot
UniqueSlot
Tree
Tree
util
collections
AbstractArraySeq
ArrayMap
ArrayMap
ArrayMapBuilder
StrictMapOps
Ops
ordering
SeqOrdering
random
DiscreteDistribution
Random
Random
Sample
ShiftedGeometricDistribution
DotPrinter
foresight
foresight
Members list
Clear all
Packages
package
foresight
In this article
Members list
Packages