[SOLVED] Given (|) in programming?
|
05-29-2016, 08:24 AM
Post: #2
|
|||
|
|||
RE: Given (|) in programming?
I'm not sure that syntax, using the "|" operator, is valid within a program; but using assume() and additionally() does appear to work. See modified program below:
Code: EXPORT XINT1(expression,domainlow,domainhigh) |
|||
« Next Oldest | Next Newest »
|
Messages In This Thread |
[SOLVED] Given (|) in programming? - CH3791 - 05-29-2016, 04:57 AM
RE: Given (|) in programming? - roadrunner - 05-29-2016 08:24 AM
RE: Given (|) in programming? - CH3791 - 05-29-2016, 08:47 AM
|
User(s) browsing this thread: 1 Guest(s)