Package ca.mcscert.jpipe.model.elements

package ca.mcscert.jpipe.model.elements

Related Packages

Package	Description
ca.mcscert.jpipe.model
ca.mcscert.jpipe.model.validation

Class	Description
AbstractSupport	A placeholder element in a template, to be substituted when the template is implemented.
CommonElement	Sealed interface for elements that can appear in both justifications and templates.
Conclusion	The top-level conclusion that a justification aims to establish.
ElementView	Read-only view of an element's identity: its id and label.
Evidence	A leaf evidence element supporting a strategy.
JustificationElement	Sealed root of the element hierarchy.
Strategy	A reasoning strategy connecting evidence to a conclusion.
StrategyBacked	Sealed interface for elements that receive support from exactly one Strategy.
SubConclusion	An intermediate conclusion within a justification.
SupportLeaf	Marker interface for elements that can act as direct support in a justification graph: SubConclusion, Evidence, and AbstractSupport.