Yield
data class Yield(val solution: SolutionPresentation, val hasMorePotentially: Boolean, val signals: List<SolverSignal> = emptyList(), val featureStateReplacements: Map<FeatureId, Map<String, FeatureValue>> = emptyMap()) : ResolutionStep
A solution was found; hasMorePotentially says whether requesting another step could yield more.
Constructors
Link copied to clipboard
constructor(solution: SolutionPresentation, hasMorePotentially: Boolean, signals: List<SolverSignal> = emptyList(), featureStateReplacements: Map<FeatureId, Map<String, FeatureValue>> = emptyMap())
Properties
Link copied to clipboard
Full replacement values for page-scoped semantic extension features produced by this solution. Replacing, instead of blindly merging, prevents data from a previous solution (for example a BDD) from surviving when the new solution does not provide it.
Link copied to clipboard
Link copied to clipboard
Output produced (e.g. to stdout/stderr) while computing this step, in emission order.
Link copied to clipboard