violations.h File Reference

Detailed Description

Author

Alexander Sherikov

Copyright

2014-2017 INRIA. Licensed under the Apache License, Version 2.0. (see LICENSE or http://www.apache.org/licenses/LICENSE-2.0)

Definition in file violations.h.

Go to the source code of this file.

Classes
class	humoto::Violations
	Violations corresponding to a hierarchy of Constraints. More...
class	humoto::ViolationsConstraints
	Violations corresponding to Constraints class. More...

Namespaces
	humoto
	The root namespace of HuMoTo.