Blame view

build3/apps/sequence/sequence.h 3.53 KB
6663b6c9   adorian   projet complet av...
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
  #ifndef SEQUENCE_SEQUENCE_H
  #define SEQUENCE_SEQUENCE_H
  
  #include "../shared/function.h"
  #include "sequence_context.h"
  #include <assert.h>
  
  namespace Sequence {
  
  class Sequence : public Shared::Function {
  public:
    enum class Type {
      Explicit = 0,
      SingleRecurrence = 1,
      DoubleRecurrence = 2
    };
    Sequence(const char * text = nullptr, KDColor color = KDColorBlack);
    ~Sequence();
    Sequence& operator=(const Sequence& other);
    Sequence& operator=(Sequence&& other) = delete;
    Sequence(const Sequence& other) = delete;
    Sequence(Sequence&& other) = delete;
    uint32_t checksum() override;
    Type type();
    int initialRank() const {
      return m_initialRank;
    }
    const char * firstInitialConditionText();
    const char * secondInitialConditionText();
    Poincare::Expression * firstInitialConditionExpression(Poincare::Context * context) const;
    Poincare::Expression * secondInitialConditionExpression(Poincare::Context * context) const;
    Poincare::ExpressionLayout * firstInitialConditionLayout();
    Poincare::ExpressionLayout * secondInitialConditionLayout();
    /* WARNING: after calling setType, setContent, setFirstInitialConditionContent
     * or setSecondInitialConditionContent, the sequence context needs to
     * invalidate the cache because the sequences evaluations might have changed. */
    void setType(Type type);
    void setInitialRank(int rank);
    void setContent(const char * c) override;
    void setFirstInitialConditionContent(const char * c);
    void setSecondInitialConditionContent(const char * c);
    int numberOfElements();
    Poincare::ExpressionLayout * nameLayout();
    Poincare::ExpressionLayout * definitionName();
    Poincare::ExpressionLayout * firstInitialConditionName();
    Poincare::ExpressionLayout * secondInitialConditionName();
    bool isDefined() override;
    bool isEmpty() override;
    float evaluateAtAbscissa(float x, Poincare::Context * context) const override {
      return templatedApproximateAtAbscissa(x, static_cast<SequenceContext *>(context));
    }
    double evaluateAtAbscissa(double x, Poincare::Context * context) const override {
      return templatedApproximateAtAbscissa(x, static_cast<SequenceContext *>(context));
    }
    template<typename T> T approximateToNextRank(int n, SequenceContext * sqctx) const;
    double sumBetweenBounds(double start, double end, Poincare::Context * context) const override;
    void tidy() override;
    constexpr static int k_initialRankNumberOfDigits = 3; // m_initialRank is capped by 999
  private:
    constexpr static double k_maxNumberOfTermsInSum = 100000.0;
    constexpr static size_t k_dataLengthInBytes = (3*TextField::maxBufferSize()+3)*sizeof(char)+sizeof(int)+1;
    static_assert((k_dataLengthInBytes & 0x3) == 0, "The sequence data size is not a multiple of 4 bytes (cannot compute crc)"); // Assert that dataLengthInBytes is a multiple of 4
    char symbol() const override;
    template<typename T> T templatedApproximateAtAbscissa(T x, SequenceContext * sqctx) const;
    Type m_type;
    char m_firstInitialConditionText[TextField::maxBufferSize()];
    char m_secondInitialConditionText[TextField::maxBufferSize()];
    mutable Poincare::Expression * m_firstInitialConditionExpression;
    mutable Poincare::Expression * m_secondInitialConditionExpression;
    Poincare::ExpressionLayout * m_firstInitialConditionLayout;
    Poincare::ExpressionLayout * m_secondInitialConditionLayout;
    Poincare::ExpressionLayout * m_nameLayout;
    Poincare::ExpressionLayout * m_definitionName;
    Poincare::ExpressionLayout * m_firstInitialConditionName;
    Poincare::ExpressionLayout * m_secondInitialConditionName;
    int m_initialRank;
  };
  
  }
  
  #endif