ScoringFunction
HeuristicServices
SingularFact
engine
SingularFactEvaluation
engine
SourcePosition
utils
SourceUnknown
utils
Step
engine
SubRunData
engine
SubRunDerivation
engine
scalarules
org
scoringFunction
HeuristicService
services
scalarules
size
LRUCache
sourcePosition
DefaultDerivation
Derivation
status
Step
subRunData
SubRunDerivation
successCondition
HeuristicService