Loading...
Searching...
No Matches
RingElement Class Reference
Front-end-visible "ring element" value: an engine ring_elem paired with the Ring* that gives it meaning. More...
#include <relem.hpp>
Inheritance diagram for RingElement:
Static Public Member Functions | |
| static RingElement * | make_raw (const Ring *R, ring_elem f) |
| static RingElement * | random (const Ring *R) |
| Static Public Member Functions inherited from our_new_delete | |
| static void * | operator new (size_t size) |
| static void * | operator new[] (size_t size) |
| static void | operator delete (void *obj) |
| static void | operator delete[] (void *obj) |
| static void * | operator new (size_t size, void *existing_memory) |
| static void * | operator new[] (size_t size, void *existing_memory) |
| static void | operator delete (void *obj, void *existing_memory) |
| static void | operator delete[] (void *obj, void *existing_memory) |
Protected Member Functions | |
| virtual unsigned int | computeHashValue () const |
Private Attributes | |
| const Ring * | R |
| ring_elem | val |
Detailed Description
Front-end-visible "ring element" value: an engine ring_elem paired with the Ring* that gives it meaning.
- Note
- AI-generated documentation. Verify against the source before relying on it.
The interpreter handles ring elements as opaque RingElement* pointers and asks the engine to do arithmetic by dispatching through get_ring(). Inherits from EngineObject so the hash is content-based (computed via the ring's computeHashValue) and the element is immutable once exposed to the front end. make_raw is the standard factory the interface layer uses to wrap a freshly produced ring_elem.
The documentation for this class was generated from the following files:
