LawSymbol:Equal

From DocR21

Contents 1 Action 2 Derivation 3 Syntax 4 Example

Action

Creates a logical = conditional.

Derivation

equal_law

Syntax

(my_law1) = (my_law2)

Example

; law "="
; Create a conditional law for later use
; by PIECEWISE
(define my_cond (law "x=3"))
;; my_cond
(define my_law (law
    "piecewise(law1, law2, law3)" my_cond 1 0))
;; my_law
(law:eval 0)
;; 0
(law:eval 4)
;; 4
(law:eval 3)
;; 3