ScoringFunction
HeuristicServices
SingularFact
facts
SingularFactEvaluation
engine
SourcePosition
utils
SourceUnknown
utils
Step
engine
SubRunData
derivations
SubRunDerivation
derivations
SynthesizedFact
facts
scoringFunction
HeuristicService
services
rules
size
LRUCache
sourcePosition
DefaultDerivation
Derivation
subRunData
SubRunDerivation
successCondition
HeuristicService
synthesizedPostfix
SynthesizedFact