stateful-check.symbolic-values — org.clojars.czan/stateful-check 0.4.4

get-real-value clj

(get-real-value argument real-values)

invalid-exception clj

SymbolicValue clj protocol

get-real-value* clj

(get-real-value* this real-values)

Lookup the value of this symbolic value in a real-values map

valid?* clj

(valid?* this results)

Detemine whether this symbolic value can be legally looked up in the results map

valid? clj

(valid? argument results)