|
@@ -24,7 +24,6 @@ Boolean function float_gt(a : Element, b : Element):
|
|
return bool_not(bool_or(float_lt(a, b), value_eq(a, b)))!
|
|
return bool_not(bool_or(float_lt(a, b), value_eq(a, b)))!
|
|
|
|
|
|
Element function dict_add(a : Element, b : Element, c : Element):
|
|
Element function dict_add(a : Element, b : Element, c : Element):
|
|
- log("Doing dict_add for " + cast_value(b))
|
|
|
|
create_edge(create_edge(a, c), b)
|
|
create_edge(create_edge(a, c), b)
|
|
return a!
|
|
return a!
|
|
|
|
|
|
@@ -66,24 +65,20 @@ Element function set_add_node(a : Element, b : Element):
|
|
return a!
|
|
return a!
|
|
|
|
|
|
Element function set_pop(a : Element):
|
|
Element function set_pop(a : Element):
|
|
- log("Exec set_pop")
|
|
|
|
if (integer_gt(set_len(a), 0)):
|
|
if (integer_gt(set_len(a), 0)):
|
|
Element edge
|
|
Element edge
|
|
Element result
|
|
Element result
|
|
edge = read_out(a, 0)
|
|
edge = read_out(a, 0)
|
|
result = read_edge_dst(read_out(edge, 0))
|
|
result = read_edge_dst(read_out(edge, 0))
|
|
delete_element(edge)
|
|
delete_element(edge)
|
|
- log("Value: " + cast_value(result))
|
|
|
|
return result!
|
|
return result!
|
|
else:
|
|
else:
|
|
- log("Set pop on empty set!")
|
|
|
|
return read_root()!
|
|
return read_root()!
|
|
|
|
|
|
Element function set_read(a : Element):
|
|
Element function set_read(a : Element):
|
|
if (integer_gt(set_len(a), 0)):
|
|
if (integer_gt(set_len(a), 0)):
|
|
return read_edge_dst(read_out(read_out(a, 0), 0))!
|
|
return read_edge_dst(read_out(read_out(a, 0), 0))!
|
|
else:
|
|
else:
|
|
- log("Set read on empty set!")
|
|
|
|
return read_root()!
|
|
return read_root()!
|
|
|
|
|
|
Void function sleep(a : Float):
|
|
Void function sleep(a : Float):
|