Uses of Class
ca.mcscert.jpipe.model.elements.SubConclusion

Packages that use SubConclusion

Package	Description
ca.mcscert.jpipe.model
ca.mcscert.jpipe.visitor

Uses of SubConclusion in ca.mcscert.jpipe.model

Methods in ca.mcscert.jpipe.model that return types with arguments of type SubConclusion

Modifier and Type	Method	Description
List<SubConclusion>	JustificationModel.subConclusions()

Uses of SubConclusion in ca.mcscert.jpipe.visitor

Methods in ca.mcscert.jpipe.visitor with parameters of type SubConclusion

Modifier and Type	Method	Description
Void	DotExporter.visit(SubConclusion subConclusion)
Void	JpipeExporter.visit(SubConclusion subConclusion)
Void	JsonExporter.visit(SubConclusion subConclusion)
R	JustificationVisitor.visit(SubConclusion subConclusion)
R	NoOpJustificationVisitor.visit(SubConclusion subConclusion)
Void	PythonExporter.visit(SubConclusion subConclusion)