Package science.aist.gtf.verification.syntactic.constraint

Interface Summary

Interface	Description
Constraint<T>	Constraint which will be checked and result in some ConstraintError or if there is no Error in ConstraintError.NoError

Class Summary

Class	Description
ConstraintError	Enum for property verificator to name the violated constraint
ConstraintViolationStatistic	Statistic class representing number of different violations of a property verification