Quelle math_utils.C Sprache: C

/*
*  File:        math_utils.C
*  Purpose:     X independent general mathed routines
*  Author:      Alejandro Aguilar Sierra <asierra@servidor.unam.mx>
*  Created:     August 1996
*
*  Copyright: (c) 1996, 1997 Alejandro Aguilar Sierra
*
*  License: GNU GPL version 2 or later
*/

#include <config.h>

#include <stdlib.h>
#include "math_defs.h"
#include "symbol_def.h"

// This table includes all binary operators and relations
struct binary_op_pair { short id, isrel; } binary_op_table[] = {
      { LM_leq, LMB_RELATION }, { LM_geq, LMB_RELATION },
      { LM_equiv, LMB_RELATION }, { LM_models, LMB_RELATION },
      { LM_prec, LMB_RELATION }, { LM_succ, LMB_RELATION },
      { LM_sim, LMB_RELATION }, { LM_perp, LMB_RELATION },
      { LM_preceq, LMB_RELATION }, { LM_succeq, LMB_RELATION },
      { LM_simeq, LMB_RELATION }, { LM_mid, LMB_RELATION },
      { LM_ll, LMB_RELATION }, { LM_gg, LMB_RELATION },
      { LM_asymp, LMB_RELATION }, { LM_parallel, LMB_RELATION },
      { LM_subset, LMB_RELATION }, { LM_supset, LMB_RELATION },
      { LM_approx, LMB_RELATION }, { LM_smile, LMB_RELATION },
      { LM_subseteq, LMB_RELATION }, { LM_supseteq, LMB_RELATION },
      { LM_cong, LMB_RELATION }, { LM_frown, LMB_RELATION },
      { LM_sqsubseteq, LMB_RELATION }, { LM_sqsupseteq, LMB_RELATION },
      { LM_doteq, LMB_RELATION }, { LM_neq, LMB_RELATION },
      { LM_in, LMB_RELATION }, { LM_ni, LMB_RELATION },
      { LM_propto, LMB_RELATION }, { LM_notin, LMB_RELATION },
      { LM_vdash, LMB_RELATION }, { LM_dashv, LMB_RELATION },
      { LM_bowtie, LMB_RELATION },
      { LM_pm, LMB_OPERATOR }, { LM_cap, LMB_OPERATOR },
      { LM_diamond, LMB_OPERATOR }, { LM_oplus, LMB_OPERATOR },
      { LM_mp, LMB_OPERATOR }, { LM_cup, LMB_OPERATOR },
      { LM_bigtriangleup, LMB_OPERATOR }, { LM_ominus, LMB_OPERATOR },
      { LM_times, LMB_OPERATOR }, { LM_uplus, LMB_OPERATOR },
      { LM_bigtriangledown, LMB_OPERATOR }, { LM_otimes, LMB_OPERATOR },
      { LM_div, LMB_OPERATOR }, { LM_sqcap, LMB_OPERATOR },
      { LM_triangleright, LMB_OPERATOR }, { LM_oslash, LMB_OPERATOR },
      { LM_cdot, LMB_OPERATOR }, { LM_sqcup, LMB_OPERATOR },
      { LM_triangleleft, LMB_OPERATOR }, { LM_odot, LMB_OPERATOR },
      { LM_star, LMB_OPERATOR }, { LM_vee, LMB_OPERATOR },
      { LM_amalg, LMB_OPERATOR }, { LM_bigcirc, LMB_OPERATOR },
      { LM_setminus, LMB_OPERATOR }, { LM_wedge, LMB_OPERATOR },
      { LM_dagger, LMB_OPERATOR }, { LM_circ, LMB_OPERATOR },
      { LM_bullet, LMB_OPERATOR }, { LM_wr, LMB_OPERATOR },
      { LM_ddagger, LMB_OPERATOR }
};

static int compara(const void *a, const void *b)
{
    int i = ((binary_op_pair const *)a)->id, j = ((binary_op_pair const*)b)->id;
    return i - j;
}

int MathedLookupBOP(short id)
{
    static int bopCount = sizeof(binary_op_table) / sizeof(binary_op_pair);
    static bool issorted = false;

    if (!issorted) {
qsort(binary_op_table, bopCount, sizeof(binary_op_pair), compara);
issorted = true;
    }

   int result=0, m, k, l= 0, r = bopCount;

   while (l < r) {
      m = (l+r)/2;
      k = binary_op_table[m].id - id;
      if (k==0) {
  result = binary_op_table[m].isrel;
  break;
      } else
       if (k<0) l = m+1; else r = m;
   }

   return result;
}

quality91%

¤ Dauer der Verarbeitung: 0.15 Sekunden (vorverarbeitet) ¤

Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.