Coverage Summary for Class: StateInit (it.unibo.tuprolog.argumentation.core.engine.fsm)

 // Forked from 2p-kt's solve-prolog 3.0.2 (Apache License 2.0): see README.md in this package
 package it.unibo.tuprolog.argumentation.core.engine.fsm
 
 import it.unibo.tuprolog.argumentation.core.engine.PrologExecutionContext
 import it.unibo.tuprolog.core.Substitution
 import it.unibo.tuprolog.utils.Cursor
 
 /**
  * Bootstrap [State], with no counterpart in the formal paper (whose initial configuration is stipulated rather
  * than computed): resets [context] into a fresh root frame for [PrologExecutionContext.query] -- goals from the
  * query, empty rule/primitive cursors and choice points, no substitution, `depth = 0` -- and immediately moves
  * to `StateGoalSelection`, the actual entry point of every subsequent step.
  */
 data class StateInit(
     override val context: PrologExecutionContext,
 ) : AbstractState(context) {
     override fun computeNext(): State =
         StateGoalSelection(
             context
                 .copy(
                     goals = context.query.toGoals(),
                     rules = Cursor.empty(),
                     primitives = Cursor.empty(),
                     substitution = Substitution.empty(),
                     parent = null,
                     choicePoints = null,
                     depth = 0,
                     step = 1,
                     customData = context.customData.preservePersistent(),
                     relevantGoals = null,
                 ).appendRulesAndChoicePoints(Cursor.empty()),
         )
 }