Package ca.mcscert.jpipe.commands.linking

package ca.mcscert.jpipe.commands.linking
  • Class
    Description
    AddElement
    Adds a pre-built element to a justification model.
    AddSupport
    Establishes a support edge between two elements that already exist in the same justification model.
    ImplementsTemplate
    Links a justification model to the Template it implements, by setting the template as the model's parent.
    MarkUnified
    Records that id inside a result model was minted by unification to stand for a group of merged elements.
    OverrideAbstractSupport
    Replaces an AbstractSupport placeholder (inlined from a template) with a concrete element.
    ReferenceIntoTemplateException
    Raised when a model implementing a template references a template-internal element (a strategy or conclusion) instead of only overriding the template's @support placeholders.
    RegisterAlias
    Records that oldId inside a result model is an alias for the merged element newId.
    RemoveElement
    Removes an element by id from a justification model.
    RewireStrategySupport
    Replaces a strategy's current supporter with the element at newSupporterId.