Package ca.mcscert.jpipe.model.validation

package ca.mcscert.jpipe.model.validation

Related Packages

Package	Description
ca.mcscert.jpipe.model
ca.mcscert.jpipe.model.elements

Classes

Class	Description
CompletenessValidator	Checks that justification models are structurally complete.
ConsistencyValidator	Checks structural invariants of justification models.