LINE Solver (C++)
Templated C++ port of the LINE queueing solver
Loading...
Searching...
No Matches
Symbolic arithmetic (sym)

The symbolic engine behind the exact-arithmetic solvers, including the SymEngine and line-sage-rest backends. More...

Collaboration diagram for Symbolic arithmetic (sym):

Files

file  include/line/api/sym/sage_rest_engine.h
 SymEngine backed by the line-sage-rest service.
file  include/line/api/sym/sym_engine.h
 Computer algebra operations LINE needs, as seen by this port.
file  include/line/api/sym/sym_engines.h
 Resolves the symbolic backend to use, and owns the container that serves it.

Detailed Description

The symbolic engine behind the exact-arithmetic solvers, including the SymEngine and line-sage-rest backends.