Function ==

• Defined in theory: Cml
• Source code: cml.lisp

Slots on this function:

Documentation:

== is equality between quantities, factoring out differences between constants and time-dependent quantities. A time-dependent quantity that always returns the same value is == to its value, but not = to its value.

Arity: 3

Axioms:

(Nth-Domain == 2 Physical-Quantity)

(Nth-Domain == 1 Physical-Quantity)

(<=> (== ?Q1 ?Q2 ?Result)
     (And (Physical-Quantity ?Q1)
          (Physical-Quantity ?Q2)
          (Forall (?T) (= (Value-At ?Q1 ?T) (Value-At ?Q2 ?T)))))