Package easik.sketch.constraint

Class Summary

CommutativeDiagram	The commutative diagram is a constraint made up of two lists (Arrays) of sketch edges.
Constraint	This is the superclass for all constraints.
ProductConstraint	Represents the product constraint.
PullbackConstraint	Class representing a pullback constraint.
SumConstraint	This class represents the sum colimit constraint.