SLP-imp.hpp File Reference

Templated SLEvaluatorConcrete<RT> — the per-ring SLP evaluator implementation. More...

#include <cstdlib>
#include <algorithm>
#include <dlfcn.h>
#include "timing.hpp"

Go to the source code of this file.

Classes
class	ARingElement< RT >

Macros
#define	PRECISION_SAFETY_BITS   10

Enumerations
enum	SolutionStatus {   UNDETERMINED , PROCESSING , REGULAR , SINGULAR ,   INFINITY_FAILED , MIN_STEP_FAILED , ORIGIN_FAILED , INCREASE_PRECISION ,   DECREASE_PRECISION }

Functions
template<typename RT>
void	norm2 (const DMat< RT > &M, size_t n, typename RT::RealElementType &result)

Detailed Description

Templated SLEvaluatorConcrete<RT> — the per-ring SLP evaluator implementation.

Note

AI-generated documentation. Verify against the source before relying on it.

Provides the out-of-line template implementations of the SLEvaluatorConcrete<RT> constructors and methods declared in SLP-defs.hpp. There are four constructors: two take a MutableMat<DMat<RT>> of pre-evaluated constants (one for interpreted evaluation, one for the compiled path), and two mirror them for MutableMat<SMat<RT>> — the sparse-matrix constructors are stubs that print to std::cerr and abort. evaluate(const MutableMatrix* inputs, MutableMatrix* outputs) initialises a working std::vector<ElementType>, walks the SLProgram nodes through computeNextNode applying each gate via mRing's aring methods, and reads off the values at the recorded output positions; specialize(parameters) builds a partially-evaluated copy for parameter-homotopy use.

The header pulls in <dlfcn.h> for an optional JIT path: when the libName constructor is called, dlopen loads a pre-compiled SLP shared library and dlsym resolves either the RR or CC entry symbol into the compiled_fn function pointer; evaluate then bypasses the interpreter and dispatches to the loaded routine. The default evaluation walks nodes interpretively when isCompiled is false.

See also

SLP.hpp

SLP-defs.hpp

NAG.hpp

Definition in file SLP-imp.hpp.