Free cookie consent management tool by TermsFeed Policy Generator

source: trunk/HeuristicLab.Problems.DataAnalysis.Symbolic/3.4/Interpreter/OpCodes.cs @ 18091

Last change on this file since 18091 was 17963, checked in by gkronber, 4 years ago

#3121: support integer powers in interval arithmetic (and two simplification rules)

File size: 7.9 KB
RevLine 
[8431]1#region License Information
2/* HeuristicLab
[17180]3 * Copyright (C) Heuristic and Evolutionary Algorithms Laboratory (HEAL)
[8431]4 *
5 * This file is part of HeuristicLab.
6 *
7 * HeuristicLab is free software: you can redistribute it and/or modify
8 * it under the terms of the GNU General Public License as published by
9 * the Free Software Foundation, either version 3 of the License, or
10 * (at your option) any later version.
11 *
12 * HeuristicLab is distributed in the hope that it will be useful,
13 * but WITHOUT ANY WARRANTY; without even the implied warranty of
14 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
15 * GNU General Public License for more details.
16 *
17 * You should have received a copy of the GNU General Public License
18 * along with HeuristicLab. If not, see <http://www.gnu.org/licenses/>.
19 */
20#endregion
21
22using System;
23using System.Collections.Generic;
[16762]24using System.Linq;
[8431]25using HeuristicLab.Encodings.SymbolicExpressionTreeEncoding;
26
27namespace HeuristicLab.Problems.DataAnalysis.Symbolic {
[16762]28  public enum OpCode : byte {
29    Add = 1,
30    Sub = 2,
31    Mul = 3,
32    Div = 4,
33    Sin = 5,
34    Cos = 6,
35    Tan = 7,
36    Log = 8,
37    Exp = 9,
38    IfThenElse = 10,
39    GT = 11,
40    LT = 12,
41    AND = 13,
42    OR = 14,
43    NOT = 15,
44    Average = 16,
45    Call = 17,
46    Variable = 18,
47    LagVariable = 19,
48    Constant = 20,
49    Arg = 21,
50    Power = 22,
51    Root = 23,
52    TimeLag = 24,
53    Integral = 25,
54    Derivative = 26,
55    VariableCondition = 27,
56    Square = 28,
57    SquareRoot = 29,
58    Gamma = 30,
59    Psi = 31,
60    Dawson = 32,
61    ExponentialIntegralEi = 33,
62    CosineIntegral = 34,
63    SineIntegral = 35,
64    HyperbolicCosineIntegral = 36,
65    HyperbolicSineIntegral = 37,
66    FresnelCosineIntegral = 38,
67    FresnelSineIntegral = 39,
68    AiryA = 40,
69    AiryB = 41,
70    Norm = 42,
71    Erf = 43,
72    Bessel = 44,
73    XOR = 45,
74    FactorVariable = 46,
75    BinaryFactorVariable = 47,
76    Absolute = 48,
77    AnalyticQuotient = 49,
78    Cube = 50,
79    CubeRoot = 51,
80    Tanh = 52,
81  };
[8431]82  public static class OpCodes {
[16762]83    // constants for API compatibility only
84    public const byte Add = (byte)OpCode.Add;
85    public const byte Sub =(byte)OpCode.Sub;
86    public const byte Mul =(byte)OpCode.Mul;
87    public const byte Div =(byte)OpCode.Div;
88    public const byte Sin =(byte)OpCode.Sin;
89    public const byte Cos =(byte)OpCode.Cos;
90    public const byte Tan =(byte)OpCode.Tan;
91    public const byte Log =(byte)OpCode.Log;
92    public const byte Exp = (byte)OpCode.Exp;
93    public const byte IfThenElse = (byte)OpCode.IfThenElse;
94    public const byte GT = (byte)OpCode.GT;
95    public const byte LT = (byte)OpCode.LT;
96    public const byte AND = (byte)OpCode.AND;
97    public const byte OR = (byte)OpCode.OR;
98    public const byte NOT = (byte)OpCode.NOT;
99    public const byte Average = (byte)OpCode.Average;
100    public const byte Call = (byte)OpCode.Call;
101    public const byte Variable = (byte)OpCode.Variable;
102    public const byte LagVariable = (byte)OpCode.LagVariable;
103    public const byte Constant = (byte)OpCode.Constant;
104    public const byte Arg = (byte)OpCode.Arg;
105    public const byte Power = (byte)OpCode.Power;
106    public const byte Root = (byte)OpCode.Root;
107    public const byte TimeLag = (byte)OpCode.TimeLag;
108    public const byte Integral = (byte)OpCode.Integral;
109    public const byte Derivative = (byte)OpCode.Derivative;
110    public const byte VariableCondition = (byte)OpCode.VariableCondition;
111    public const byte Square = (byte)OpCode.Square;
112    public const byte SquareRoot = (byte)OpCode.SquareRoot;
113    public const byte Gamma = (byte)OpCode.Gamma;
114    public const byte Psi = (byte)OpCode.Psi;
115    public const byte Dawson = (byte)OpCode.Dawson;
116    public const byte ExponentialIntegralEi = (byte)OpCode.ExponentialIntegralEi;
117    public const byte CosineIntegral = (byte)OpCode.CosineIntegral;
118    public const byte SineIntegral = (byte)OpCode.SineIntegral;
119    public const byte HyperbolicCosineIntegral = (byte)OpCode.HyperbolicCosineIntegral;
120    public const byte HyperbolicSineIntegral = (byte)OpCode.HyperbolicSineIntegral;
121    public const byte FresnelCosineIntegral = (byte)OpCode.FresnelCosineIntegral;
122    public const byte FresnelSineIntegral = (byte)OpCode.FresnelSineIntegral;
123    public const byte AiryA = (byte)OpCode.AiryA;
124    public const byte AiryB = (byte)OpCode.AiryB;
125    public const byte Norm = (byte)OpCode.Norm;
126    public const byte Erf = (byte)OpCode.Erf;
127    public const byte Bessel = (byte)OpCode.Bessel;
128    public const byte XOR = (byte)OpCode.XOR;
129    public const byte FactorVariable = (byte)OpCode.FactorVariable;
130    public const byte BinaryFactorVariable = (byte)OpCode.BinaryFactorVariable;
131    public const byte Absolute = (byte)OpCode.Absolute;
132    public const byte AnalyticQuotient = (byte)OpCode.AnalyticQuotient;
133    public const byte Cube = (byte)OpCode.Cube;
134    public const byte CubeRoot = (byte)OpCode.CubeRoot;
135    public const byte Tanh = (byte)OpCode.Tanh;
[8431]136
137
138    private static Dictionary<Type, byte> symbolToOpcode = new Dictionary<Type, byte>() {
[8436]139       { typeof(Addition), OpCodes.Add },
[8431]140      { typeof(Subtraction), OpCodes.Sub },
141      { typeof(Multiplication), OpCodes.Mul },
142      { typeof(Division), OpCodes.Div },
143      { typeof(Sine), OpCodes.Sin },
144      { typeof(Cosine), OpCodes.Cos },
145      { typeof(Tangent), OpCodes.Tan },
[17963]146      { typeof(HyperbolicTangent), OpCodes.Tanh},
[8431]147      { typeof(Logarithm), OpCodes.Log },
148      { typeof(Exponential), OpCodes.Exp },
149      { typeof(IfThenElse), OpCodes.IfThenElse },
150      { typeof(GreaterThan), OpCodes.GT },
151      { typeof(LessThan), OpCodes.LT },
152      { typeof(And), OpCodes.AND },
153      { typeof(Or), OpCodes.OR },
154      { typeof(Not), OpCodes.NOT},
[10774]155      { typeof(Xor),OpCodes.XOR},
[8431]156      { typeof(Average), OpCodes.Average},
157      { typeof(InvokeFunction), OpCodes.Call },
158      { typeof(Variable), OpCodes.Variable },
159      { typeof(LaggedVariable), OpCodes.LagVariable },
[8477]160      { typeof(AutoregressiveTargetVariable),OpCodes.LagVariable},
[8431]161      { typeof(Constant), OpCodes.Constant },
162      { typeof(Argument), OpCodes.Arg },
163      { typeof(Power),OpCodes.Power},
164      { typeof(Root),OpCodes.Root},
[16356]165      { typeof(TimeLag), OpCodes.TimeLag},
[8431]166      { typeof(Integral), OpCodes.Integral},
167      { typeof(Derivative), OpCodes.Derivative},
168      { typeof(VariableCondition),OpCodes.VariableCondition},
169      { typeof(Square),OpCodes.Square},
170      { typeof(SquareRoot),OpCodes.SquareRoot},
171      { typeof(Gamma), OpCodes.Gamma },
172      { typeof(Psi), OpCodes.Psi },
173      { typeof(Dawson), OpCodes.Dawson},
174      { typeof(ExponentialIntegralEi), OpCodes.ExponentialIntegralEi },
175      { typeof(CosineIntegral), OpCodes.CosineIntegral },
176      { typeof(SineIntegral), OpCodes.SineIntegral },
177      { typeof(HyperbolicCosineIntegral), OpCodes.HyperbolicCosineIntegral },
178      { typeof(HyperbolicSineIntegral), OpCodes.HyperbolicSineIntegral },
179      { typeof(FresnelCosineIntegral), OpCodes.FresnelCosineIntegral },
180      { typeof(FresnelSineIntegral), OpCodes.FresnelSineIntegral },
181      { typeof(AiryA), OpCodes.AiryA },
182      { typeof(AiryB), OpCodes.AiryB },
183      { typeof(Norm), OpCodes.Norm},
184      { typeof(Erf), OpCodes.Erf},
[14826]185      { typeof(Bessel), OpCodes.Bessel},
186      { typeof(FactorVariable), OpCodes.FactorVariable },
[16356]187      { typeof(BinaryFactorVariable), OpCodes.BinaryFactorVariable },
188      { typeof(Absolute), OpCodes.Absolute },
[16360]189      { typeof(AnalyticQuotient), OpCodes.AnalyticQuotient },
[16356]190      { typeof(Cube), OpCodes.Cube },
191      { typeof(CubeRoot), OpCodes.CubeRoot }
[8431]192    };
193
194    public static byte MapSymbolToOpCode(ISymbolicExpressionTreeNode treeNode) {
[16762]195      if (symbolToOpcode.TryGetValue(treeNode.Symbol.GetType(), out byte opCode)) return opCode;
[8431]196      else throw new NotSupportedException("Symbol: " + treeNode.Symbol);
197    }
198  }
199}
Note: See TracBrowser for help on using the repository browser.