Package ca.mcscert.jpipe.model.elements
package ca.mcscert.jpipe.model.elements
-
ClassDescriptionA placeholder element in a template, to be substituted when the template is implemented.Sealed interface for elements that can appear in both justifications and templates.The top-level conclusion that a justification aims to establish.Read-only view of an element's identity: its
idandlabel.A leaf evidence element supporting a strategy.Sealed root of the element hierarchy.A reasoning strategy connecting evidence to a conclusion.Sealed interface for elements that receive support from exactly oneStrategy.An intermediate conclusion within a justification.Marker interface for elements that can act as direct support in a justification graph:SubConclusion,Evidence, andAbstractSupport.