Arbitrary Variable
A variable spanning over an arbitrary set of values.
Constructors
Link copied to clipboard
Link copied to clipboard
open fun ArbitraryVariable(def: Serializable, values: Iterable<out Serializable>)
Content copied to clipboard