ReasonerConfiguration
A configuration of a Reasoner for a ReasoningAttempt
Fields
configuredReasoner (
Reasoner)
The configured Reasoner
id (
Int!)
The ID of the ReasonerConfiguration
premiseSelections (
[PremiseSelection!]!)
The PremiseSelections that use this configuration
reasoningAttempts (
[ReasoningAttempt!]!)
The reasoningAttempts that use this configuration
timeLimit (
Int)
How much time a reasoner can work on a reasoning task