ReflectedRepository

interpreter

Repository

inhabitation

RequestType

InhabitationBatchJob

ResultType

HasPriorJob InhabitationBatchJob

removeEntriesWithArgument

FiniteCombinatoryLogic

repository

BoundedCombinatoryLogic FiniteCombinatoryLogic

result

CombinatorInfo DynamicCombinatorInfo StaticCombinatorInfo

resultInterpreter

InhabitationResult

run

InhabitationBatchJob