mirror of
https://github.com/UpsilonNumworks/Upsilon.git
synced 2026-01-19 16:57:31 +01:00
503e07fe5a
kept in the store (because we need all of them to evaluate one sequence). setMemoizedModelAtIndex now store u, v and w sequences in this order to avoid requiring expiring pointers.
52 lines
2.3 KiB
C++
52 lines
2.3 KiB
C++
#ifndef SEQUENCE_SEQUENCE_STORE_H
|
|
#define SEQUENCE_SEQUENCE_STORE_H
|
|
|
|
#include "../shared/function_store.h"
|
|
#include "../shared/global_context.h"
|
|
#include "sequence.h"
|
|
#include <stdint.h>
|
|
#include <escher.h>
|
|
|
|
namespace Sequence {
|
|
|
|
class SequenceStore : public Shared::FunctionStore {
|
|
public:
|
|
using Shared::FunctionStore::FunctionStore;
|
|
CodePoint symbol() const override { return Sequence::Symbol(); }
|
|
CodePoint unknownSymbol() const override { return UCodePointUnknownN; }
|
|
/* Sequence Store hold all its Sequences in an array. The Sequence pointers
|
|
* return by modelForRecord are therefore non-expirable. We choose to return
|
|
* Sequence * instead of ExpiringPointer<Sequence>. */
|
|
Sequence * modelForRecord(Ion::Storage::Record record) const { return static_cast<Sequence *>(privateModelForRecord(record)); }
|
|
Ion::Storage::Record::ErrorStatus addEmptyModel() override;
|
|
/* WARNING: after calling removeModel or removeAll, the sequence context
|
|
* need to invalidate its cache as the sequences evaluations might have
|
|
* changed */
|
|
int maxNumberOfModels() const override { return MaxNumberOfSequences; }
|
|
|
|
static int sequenceIndexForName(char name);
|
|
static const char * firstAvailableName(int * nameIndex = nullptr);
|
|
static constexpr const char * k_sequenceNames[MaxNumberOfSequences] = {
|
|
"u", "v", "w"
|
|
};
|
|
|
|
private:
|
|
const char * modelExtension() const override { return Ion::Storage::seqExtension; }
|
|
/* We don't use model memoization for two reasons:
|
|
* - the number of Sequence is capped so we keep enough Sequences to store them all.
|
|
* - evaluating sequences require to evaluate all of them at the same time
|
|
* (as they might be co-dependent) which doesn't suit our ring memoization.
|
|
* To still make it work with the ExpressionModelStore, we force
|
|
* setMemoizedModelAtIndex to store u, v and w sequences in this order in
|
|
* m_sequences whatever the value of cacheIndex. We thus return a
|
|
* ExpressionModelHandle pointer after setting the model as it won't be the
|
|
* memoized model at cacheIndex. */
|
|
Shared::ExpressionModelHandle * setMemoizedModelAtIndex(int cacheIndex, Ion::Storage::Record record) const override;
|
|
Shared::ExpressionModelHandle * memoizedModelAtIndex(int cacheIndex) const override;
|
|
mutable Sequence m_sequences[MaxNumberOfSequences];
|
|
};
|
|
|
|
}
|
|
|
|
#endif
|