primitives.alc 5.2 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576
  1. Boolean function value_eq(a: Element, b: Element) = ?primitives/value_eq
  2. Boolean function bool_and(a: Boolean, b: Boolean) = ?primitives/bool_and
  3. Boolean function bool_or(a: Boolean, b: Boolean) = ?primitives/bool_or
  4. Boolean function bool_not(a: Boolean) = ?primitives/bool_not
  5. Element function create_node() = ?primitives/create_node
  6. Element function create_edge(a: Element, b: Element) = ?primitives/create_edge
  7. Element function create_value(a: Element) = ?primitives/create_value
  8. Boolean function is_edge(a: Element) = ?primitives/is_edge
  9. Integer function read_nr_out(a: Element) = ?primitives/read_nr_out
  10. Element function read_out(a: Element, b: Integer) = ?primitives/read_out
  11. Integer function read_nr_in(a: Element) = ?primitives/read_nr_in
  12. Element function read_in(a: Element, b: Integer) = ?primitives/read_in
  13. Element function read_edge_src(a: Element) = ?primitives/read_edge_src
  14. Element function read_edge_dst(a: Element) = ?primitives/read_edge_dst
  15. Boolean function delete_element(a: Element) = ?primitives/delete_element
  16. Boolean function element_eq(a: Element, b: Element) = ?primitives/element_eq
  17. Float function cast_i2f(a: Integer) = ?primitives/cast_i2f
  18. String function cast_i2s(a: Integer) = ?primitives/cast_i2s
  19. Boolean function cast_i2b(a: Integer) = ?primitives/cast_i2b
  20. Integer function cast_f2i(a: Float) = ?primitives/cast_f2i
  21. Boolean function cast_f2b(a: Float) = ?primitives/cast_f2b
  22. String function cast_f2s(a: Float) = ?primitives/cast_f2s
  23. Integer function cast_s2i(a: String) = ?primitives/cast_s2i
  24. Float function cast_s2f(a: String) = ?primitives/cast_s2f
  25. Boolean function cast_s2b(a: String) = ?primitives/cast_s2b
  26. Integer function cast_b2i(a: Boolean) = ?primitives/cast_b2i
  27. Float function cast_b2f(a: Boolean) = ?primitives/cast_b2f
  28. String function cast_b2s(a: Boolean) = ?primitives/cast_b2s
  29. String function cast_e2s(a: Element) = ?primitives/cast_e2s
  30. String function cast_a2s(a: Action) = ?primitives/cast_a2s
  31. String function cast_v2s(a: Element) = ?primitives/cast_v2s
  32. String function cast_id2s(a: Element) = ?primitives/cast_id2s
  33. Element function dict_add(a: Element, b: Element, c: Element) = ?primitives/dict_add
  34. Element function dict_add_fast(a: Element, b: Element, c: Element) = ?primitives/dict_add_fast
  35. Element function dict_delete(a: Element, b: Element) = ?primitives/dict_delete
  36. Element function dict_delete_node(a: Element, b: Element) = ?primitives/dict_delete_node
  37. Element function dict_read(a: Element, b: Element) = ?primitives/dict_read
  38. Element function dict_read_edge(a: Element, b: Element) = ?primitives/dict_read_edge
  39. Element function dict_read_node(a: Element, b: Element) = ?primitives/dict_read_node
  40. Boolean function dict_in(a: Element, b: Element) = ?primitives/dict_in
  41. Boolean function dict_in_node(a: Element, b: Element) = ?primitives/dict_in_node
  42. Element function dict_keys(a: Element) = ?primitives/dict_keys
  43. Float function float_addition(a: Float, b: Float) = ?primitives/float_addition
  44. Float function float_subtraction(a: Float, b: Float) = ?primitives/float_subtraction
  45. Float function float_multiplication(a: Float, b: Float) = ?primitives/float_multiplication
  46. Float function float_division(a: Float, b: Float) = ?primitives/float_division
  47. Boolean function float_gt(a: Float, b: Float) = ?primitives/float_gt
  48. Boolean function float_lt(a: Float, b: Float) = ?primitives/float_lt
  49. Integer function integer_addition(a: Integer, b: Integer) = ?primitives/integer_addition
  50. Integer function integer_subtraction(a: Integer, b: Integer) = ?primitives/integer_subtraction
  51. Integer function integer_multiplication(a: Integer, b: Integer) = ?primitives/integer_multiplication
  52. Integer function integer_division(a: Integer, b: Integer) = ?primitives/integer_division
  53. Boolean function integer_gt(a: Integer, b: Integer) = ?primitives/integer_gt
  54. Boolean function integer_lt(a: Integer, b: Integer) = ?primitives/integer_lt
  55. Element function list_insert(a: Element, b: Element, c: Integer) = ?primitives/list_insert
  56. Element function list_delete(a: Element, b: Integer) = ?primitives/list_delete
  57. Element function set_remove(a: Element, b: Element) = ?primitives/set_remove
  58. Boolean function set_in(a: Element, b: Element) = ?primitives/set_in
  59. Element function set_remove_node(a: Element, b: Element) = ?primitives/set_remove_node
  60. Element function set_in_node(a: Element, b: Element) = ?primitives/set_in_node
  61. String function string_join(a: String, b: String) = ?primitives/string_join
  62. String function string_get(a: String, b: Integer) = ?primitives/string_get
  63. Element function string_split(a: String, b: String) = ?primitives/string_split
  64. Integer function string_len(a: String) = ?primitives/string_len
  65. Element function log(a: String) = ?primitives/log
  66. Element function read_root() = ?primitives/read_root
  67. Element function read_taskroot() = ?primitives/read_taskroot
  68. Boolean function is_physical_int(a: Element) = ?primitives/is_physical_int
  69. Boolean function is_physical_float(a: Element) = ?primitives/is_physical_float
  70. Boolean function is_physical_string(a: Element) = ?primitives/is_physical_string
  71. Boolean function is_physical_boolean(a: Element) = ?primitives/is_physical_boolean
  72. Boolean function is_physical_action(a: Element) = ?primitives/is_physical_action
  73. Float function time() = ?primitives/time
  74. String function hash(a : String) = ?primitives/hash
  75. Float function __sleep(a : Float, b : Boolean) = ?primitives/__sleep