Lines Matching defs:set
809 // A local function to set font size with the global scaling factor in mind.
1759 /// @brief Converts a sequence (array) to a set (object)
1761 /// We wish if we could use YAML's !!set type (which is described in
1762 /// http://yaml.org/type/set.html ), but JavaScript doesn't natively
1763 /// support set type and js-yaml library converts YAML's !!set type
1764 /// into an object with property names as keys in the set.
1767 /// If we serialize the object, it would be an !!map instead of a !!set.
1768 /// For example, a !!set {head, tail} would be serialized as
1771 /// So we had to pretend as if !!set is encoded as !!seq in the serialized
1776 /// a set-like object, while set2seq does the opposite.
1791 /// @brief Converts a set (object) to a sequence (array)
1793 function set2seq(set){
1795 for(var i in set){