[Question][Hw6] Constraint Specification Question #305
Replies: 2 comments
-
|
Beta Was this translation helpful? Give feedback.
0 replies
-
Okay. Thank you for clarifying. |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
In the constraints given, is there any instance where any of the arguments for the function is not a variable?
(eg.
(<= 0 (f x 0))
or(= (f (+ x 1)) (+ (f x) 1))
, etc.)Also, can there be cases where the arguments are not in the order as specified in
spec.param
?(eg.
(= (f x y) (f y x))
or(=> (= x y) (= (f y x) 0))
, etc.)Thank you.
Beta Was this translation helpful? Give feedback.
All reactions