glue/glue_syntactic.cpp

Go to the documentation of this file.

#include <basix/int.hpp>
#include <basix/vector.hpp>
#include <basix/port.hpp>
#include <basix/literal.hpp>
#include <basix/compound.hpp>
#include <basix/mmx_syntax.hpp>
#include <basix/lisp_syntax.hpp>
#include <basix/cpp_syntax.hpp>
#include <basix/syntactic.hpp>
#include <basix/tuple.hpp>
#include <basix/glue.hpp>

#define int_literal(x) as_int (as_string (x))
#define is_generic_literal is<literal>
#define gen_literal_apply(f,v) gen (as<generic> (f), v)
#define gen_literal_access(f,v) access (as<generic> (f), v)
#define is_generic_compound is<compound>
#define compound_arguments(x) cdr (as_vector (x))
#define gen_compound_apply(f,v) gen (as<generic> (f), v)

namespace mmx {
  static syntactic
  GLUE_1 (const generic &arg_1) {
    return as_syntactic (arg_1);
  }
  
  static syntactic
  GLUE_2 (const int &arg_1) {
    return syntactic (arg_1);
  }
  
  static generic
  GLUE_3 (const syntactic &arg_1) {
    return as_generic (arg_1);
  }
  
  static string
  GLUE_4 (const syntactic &arg_1) {
    return as_string (arg_1);
  }
  
  static syntactic
  GLUE_5 (const generic &arg_1) {
    return flatten (arg_1);
  }
  
  static syntactic
  GLUE_6 (const syntactic &arg_1) {
    return syntactic_apply (arg_1);
  }
  
  static syntactic
  GLUE_7 (const syntactic &arg_1, const syntactic &arg_2) {
    return syntactic_apply (arg_1, arg_2);
  }
  
  static syntactic
  GLUE_8 (const syntactic &arg_1, const syntactic &arg_2, const syntactic &arg_3) {
    return syntactic_apply (arg_1, arg_2, arg_3);
  }
  
  static syntactic
  GLUE_9 (const syntactic &arg_1) {
    return -arg_1;
  }
  
  static syntactic
  GLUE_10 (const syntactic &arg_1) {
    return square (arg_1);
  }
  
  static syntactic
  GLUE_11 (const syntactic &arg_1, const syntactic &arg_2) {
    return arg_1 + arg_2;
  }
  
  static syntactic
  GLUE_12 (const syntactic &arg_1, const syntactic &arg_2) {
    return arg_1 - arg_2;
  }
  
  static syntactic
  GLUE_13 (const syntactic &arg_1, const syntactic &arg_2) {
    return arg_1 * arg_2;
  }
  
  static syntactic
  GLUE_14 (const syntactic &arg_1, const syntactic &arg_2) {
    return arg_1 / arg_2;
  }
  
  static syntactic
  GLUE_15 (const syntactic &arg_1, const syntactic &arg_2) {
    return pow (arg_1, arg_2);
  }
  
  static bool
  GLUE_16 (const bool &arg_1) {
    return set_frac_flag (arg_1);
  }
  
  static syntactic
  GLUE_17 (const tuple<syntactic> &arg_1) {
    return ordered_sum (as_vector (arg_1));
  }
  
  static syntactic
  GLUE_18 (const tuple<syntactic> &arg_1) {
    return ordered_product (as_vector (arg_1));
  }
  
  static bool
  GLUE_19 (const syntactic &arg_1, const syntactic &arg_2) {
    return arg_1 < arg_2;
  }
  
  static bool
  GLUE_20 (const syntactic &arg_1, const syntactic &arg_2) {
    return arg_1 <= arg_2;
  }
  
  static bool
  GLUE_21 (const syntactic &arg_1, const syntactic &arg_2) {
    return arg_1 > arg_2;
  }
  
  static bool
  GLUE_22 (const syntactic &arg_1, const syntactic &arg_2) {
    return arg_1 >= arg_2;
  }
  
  void
  glue_syntactic () {
    static bool done = false;
    if (done) return;
    done = true;
    call_glue (string ("glue_expression"));
    define_type<syntactic > (lit ("Syntactic"));
    define ("syntactic", GLUE_1);
    define_converter (":>", GLUE_2, PENALTY_INCLUSION);
    define ("as_generic", GLUE_3);
    define ("as_string", GLUE_4);
    define ("flatten", GLUE_5);
    define ("apply", GLUE_6);
    define ("apply", GLUE_7);
    define ("apply", GLUE_8);
    define ("-", GLUE_9);
    define ("square", GLUE_10);
    define ("+", GLUE_11);
    define ("-", GLUE_12);
    define ("*", GLUE_13);
    define ("/", GLUE_14);
    define ("^", GLUE_15);
    define ("set_frac_flag", GLUE_16);
    define ("ordered_sum", GLUE_17);
    define ("ordered_product", GLUE_18);
    define ("<", GLUE_19);
    define ("<=", GLUE_20);
    define (">", GLUE_21);
    define (">=", GLUE_22);
  }
}

---