result

AnalyzedScenario

resultContext

EvaluatedStep IterationFinishedStep IterationStartedStep NoChangesStep Step

runDebugDerivations

FactEngine

runDerivations

FactEngine

runHeuristics

HeuristicService

runNormalDerivations

FactEngine