A profile of any type; a function from time to any value representable by JSON.
All profiles can be represented as Discrete, even Real profiles. Keep in mind that treating real profiles as
discrete will lose access to the ordering operators (>, <, >=, <=). In most cases it is better not to do this.
A profile of any type; a function from time to any value representable by JSON.
All profiles can be represented as Discrete, even Real profiles. Keep in mind that treating real profiles as discrete will lose access to the ordering operators (>, <, >=, <=). In most cases it is better not to do this.