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

Packages that use Conclusion

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

Uses of Conclusion in ca.mcscert.jpipe.model

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

Modifier and Type	Method	Description
Optional<Conclusion>	JustificationModel.conclusion()	Returns the conclusion, if one has been set.

Methods in ca.mcscert.jpipe.model with parameters of type Conclusion

Modifier and Type	Method	Description
void	JustificationModel.setConclusion(Conclusion conclusion)	Sets the single required conclusion.

Uses of Conclusion in ca.mcscert.jpipe.visitor

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

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