Interface FunctionalConstraint